Symmetry Consistency Given any premisehypothesis pair, the grounds for a model to predict Contradiction is that the events in the premise and the hypothesis cannot coexist simultaneously.
a (P, H) pair is a contradiction if, and only if, the (H, P ) pair is also a contradiction: Transitivity Consistency This constraint is applicable to any three related sentences P , H and Z.