Premise: It would be something like the orreries he'd seen used for demonstrations of planetary movement.

Hypothesis: He had seen orreries used in demonstrations before.
Relation: entailment