Given a premise, retrieve a hypothesis that is entailed by the premise.For all he knew, in such a sky there might be cracks.
He couldn't disprove the existence of cracks in that kind of sky.
He knew there could never be cracks in any kind of sky.