Anchor: that sets up conditions mathematically similar to the conditions in some problem and then lets all the operations proceed while it draws a graph--a prediction--of how the real conditions would turn out.
Entailed: It sets up conditions mathematically, then runs the operations.
Contradiction: It cannot make predictions of the real conditions though.
Contradiction: the man is asleep on the bridge
Contradiction: Two men getting ready to play.
Contradiction: I still have the same political views.
Contradiction: The man was swimming towards the boat.