Text: 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.
Entailment: It sets up conditions mathematically, then runs the operations.
Contradiction: It cannot make predictions of the real conditions though.