Text: The red sun had set and the huge red moon had risen.
Entailment: The huge red moon came up after the red run had set.
Contradiction: The huge red moon came up after the blue run had set.