Text: You can feed in data as to the hour, day, month and year, turn the cranks, and the planets there will turn to their proper position exactly as the real planets should run.
Entailment: All you have to do is provide the data and the planets will behave accordingly.
Contradiction: The planets will not go to their proper positions if you provide the time and date.