there is something such that if it does tyrannize Binet then the fact that it is both not a May and not a siamese is wrong.
sent1: there exists something such that if it does tyrannize Binet then that it is a May and is not a siamese does not hold. sent2: there exists something such that if it is epithelial the fact that it does not mask fricassee and it is not a briar does not hold. sent3: that something is not a kind of a graffito and it does not tyrannize Binet is false if it does mask crabbed. sent4: there exists something such that if it does mask Keynesianism then the fact that it is not a kind of a great-aunt and it does not embrown Anastomus does not hold. sent5: if the plesiosaur tyrannizes Binet it is not a kind of a May and it is not a siamese. sent6: if the fact that the plesiosaur tyrannizes Binet is not incorrect then that it is a kind of a May and it is not a siamese is not right. sent7: if the plesiosaur tyrannizes Binet then that it does not mask knock-kneed and is not unjust is not right. sent8: if the plesiosaur tyrannizes Binet that it is not a May and it is a siamese is incorrect. sent9: there exists something such that if it does tyrannize Binet then that it is not a May and it is a siamese is false. sent10: there is something such that if that it is a southernness is not incorrect that it does not tyrannize shape-up and it is not a galactosemia does not hold. sent11: there is something such that if it tyrannizes Binet then it is not a May and is not a siamese. sent12: that something is not a moksa and it is not a Fagopyrum is not right if it is a graphite. sent13: if the plesiosaur tyrannizes Binet the fact that it is both not a May and not a siamese is incorrect. sent14: that the fact that the shaman does not tyrannize Binet and it is not agonistic is wrong is not incorrect if the fact that it embrowns counterclaim is right. sent15: there is something such that if it is a Platanthera then that it is not a hovercraft and it does not embrown certification does not hold.
sent13 -> hypothesis;
there exists something such that if it is a kind of a graphite that it is not a moksa and it is not a Fagopyrum is incorrect.
sent12 -> int1: that the polyphosphate is not a kind of a moksa and is not a Fagopyrum is not true if it is a kind of a graphite.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does tyrannize Binet then the fact that it is both not a May and not a siamese is wrong. ; $context$ = sent1: there exists something such that if it does tyrannize Binet then that it is a May and is not a siamese does not hold. sent2: there exists something such that if it is epithelial the fact that it does not mask fricassee and it is not a briar does not hold. sent3: that something is not a kind of a graffito and it does not tyrannize Binet is false if it does mask crabbed. sent4: there exists something such that if it does mask Keynesianism then the fact that it is not a kind of a great-aunt and it does not embrown Anastomus does not hold. sent5: if the plesiosaur tyrannizes Binet it is not a kind of a May and it is not a siamese. sent6: if the fact that the plesiosaur tyrannizes Binet is not incorrect then that it is a kind of a May and it is not a siamese is not right. sent7: if the plesiosaur tyrannizes Binet then that it does not mask knock-kneed and is not unjust is not right. sent8: if the plesiosaur tyrannizes Binet that it is not a May and it is a siamese is incorrect. sent9: there exists something such that if it does tyrannize Binet then that it is not a May and it is a siamese is false. sent10: there is something such that if that it is a southernness is not incorrect that it does not tyrannize shape-up and it is not a galactosemia does not hold. sent11: there is something such that if it tyrannizes Binet then it is not a May and is not a siamese. sent12: that something is not a moksa and it is not a Fagopyrum is not right if it is a graphite. sent13: if the plesiosaur tyrannizes Binet the fact that it is both not a May and not a siamese is incorrect. sent14: that the fact that the shaman does not tyrannize Binet and it is not agonistic is wrong is not incorrect if the fact that it embrowns counterclaim is right. sent15: there is something such that if it is a Platanthera then that it is not a hovercraft and it does not embrown certification does not hold. ; $proof$ = 
sent13 -> hypothesis; __PROVED__