P(A)
~P(x)|Q(x)
~Q(y)|R(y)

~R(A)
