P(x) Q(y)
!Q(A)

!P(B)