Text: Other worlds! Where are there other worlds?
Entailment: Where are other worlds?
Contradiction: They are not planets.