there exists something such that if it is a straight it is not a polls and it is not creaseproof.
sent1: the wrasse does murmur magnetograph but it does not tame acervulus if it is a polls. sent2: there exists something such that if it is a kind of a straight then it is both not a polls and creaseproof. sent3: there exists something such that if it is invertible it does murmur refrain and does not shrink thimblerig. sent4: there is something such that if it is a kind of a straight it is not creaseproof. sent5: the Zuni is not a polls and it is not creaseproof if it is straight. sent6: there exists something such that if it is flatness it does not tame BSE and it is not a kind of an outrigger. sent7: the fact that there exists something such that if it does murmur incontrovertibility then it is not a kind of a Burmese and it does not shrink Scirpus hold. sent8: if the Zuni is a kind of a straight it is a polls that is not creaseproof. sent9: if the Zuni is a straight then it is not creaseproof. sent10: if the acervulus does tame draper then it earths and it does not coconspire. sent11: there exists something such that if it is a straight then it is a kind of a polls and it is not creaseproof. sent12: there exists something such that if it is a Blackburn it is not exempt. sent13: something does not bootleg and it is not creaseproof if it is a backflow. sent14: there exists something such that if it leans it is not a Winesap and is not a Jainism.
sent5 -> hypothesis;
if that the hiker is a kind of a backflow is not false then that it is not a bootleg and is not creaseproof is true.
sent13 -> hypothesis;
$hypothesis$ = there exists something such that if it is a straight it is not a polls and it is not creaseproof. ; $context$ = sent1: the wrasse does murmur magnetograph but it does not tame acervulus if it is a polls. sent2: there exists something such that if it is a kind of a straight then it is both not a polls and creaseproof. sent3: there exists something such that if it is invertible it does murmur refrain and does not shrink thimblerig. sent4: there is something such that if it is a kind of a straight it is not creaseproof. sent5: the Zuni is not a polls and it is not creaseproof if it is straight. sent6: there exists something such that if it is flatness it does not tame BSE and it is not a kind of an outrigger. sent7: the fact that there exists something such that if it does murmur incontrovertibility then it is not a kind of a Burmese and it does not shrink Scirpus hold. sent8: if the Zuni is a kind of a straight it is a polls that is not creaseproof. sent9: if the Zuni is a straight then it is not creaseproof. sent10: if the acervulus does tame draper then it earths and it does not coconspire. sent11: there exists something such that if it is a straight then it is a kind of a polls and it is not creaseproof. sent12: there exists something such that if it is a Blackburn it is not exempt. sent13: something does not bootleg and it is not creaseproof if it is a backflow. sent14: there exists something such that if it leans it is not a Winesap and is not a Jainism. ; $proof$ = 
sent5 -> hypothesis; __PROVED__