there is something such that if it is not a haler then it is a chess but not ebracteate.
sent1: the vivarium is a chess but it is not ebracteate if it is a kind of a haler. sent2: there is something such that if it is not a haler then it is a chess and ebracteate. sent3: there is something such that if the fact that it does not splat rind is right it does finish fungus and does not outflank marine. sent4: if the vivarium is not a kind of a haler then it is a chess. sent5: something is a Afghan and is non-anonymous if it is not a quid. sent6: there exists something such that if it is not photometric then it does outflank dead and it does not splat dukedom. sent7: there is something such that if it is not a haler then it is a kind of a chess. sent8: if the vivarium is not a haler then it is both a chess and not non-ebracteate. sent9: the gunnery is both extraterritorial and not nonrepresentative if the fact that it is not more is not false. sent10: there exists something such that if it is not a haler it is not ebracteate. sent11: that there is something such that if it is a haler then it is a chess and it is not ebracteate hold. sent12: there is something such that if it is not a subbase it splats phot and it is not elementary. sent13: if the vivarium is not a haler then it is a chess and it is not ebracteate. sent14: the vivarium is a kind of a warble and is not a kind of an image if it is not a haler.
sent13 -> hypothesis;
there is something such that if it is not a quid then it is a Afghan and it is not anonymous.
sent5 -> int1: the Kendal is a kind of a Afghan but it is not anonymous if it is not a quid.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a haler then it is a chess but not ebracteate. ; $context$ = sent1: the vivarium is a chess but it is not ebracteate if it is a kind of a haler. sent2: there is something such that if it is not a haler then it is a chess and ebracteate. sent3: there is something such that if the fact that it does not splat rind is right it does finish fungus and does not outflank marine. sent4: if the vivarium is not a kind of a haler then it is a chess. sent5: something is a Afghan and is non-anonymous if it is not a quid. sent6: there exists something such that if it is not photometric then it does outflank dead and it does not splat dukedom. sent7: there is something such that if it is not a haler then it is a kind of a chess. sent8: if the vivarium is not a haler then it is both a chess and not non-ebracteate. sent9: the gunnery is both extraterritorial and not nonrepresentative if the fact that it is not more is not false. sent10: there exists something such that if it is not a haler it is not ebracteate. sent11: that there is something such that if it is a haler then it is a chess and it is not ebracteate hold. sent12: there is something such that if it is not a subbase it splats phot and it is not elementary. sent13: if the vivarium is not a haler then it is a chess and it is not ebracteate. sent14: the vivarium is a kind of a warble and is not a kind of an image if it is not a haler. ; $proof$ = 
sent13 -> hypothesis; __PROVED__