Given a premise, retrieve a hypothesis that is entailed by the premise.He slapped the cover shut and stuck the sun-tipped awl where it would light as much of the orrery as possible.
The cover was shut by him.
There was no light that entered the orrery.