Premise: To the orrery! he ordered.

Hypothesis: They ordered him to go to the library.
Relation: contradiction