1P(A)
2~P(x)|Q(x)
3~Q(y)|R(y)
4~R(A)
5(1,2)Q(A)
6(5,3)R(A)
7(6,4)_
