entailment
not entailment
true
false
contradiction
(A)
(B)
