that there is something such that if it does not petrify it is honorable and is not a semanticist is false.
sent1: there is something such that if it does not petrify then it is honorable. sent2: if something does not murmur painted then it is a Lentinus but not lower-class. sent3: there exists something such that if it does not petrify then it is not a kind of a semanticist. sent4: the fluid murmurs Gabriel but it is not a kind of a semanticist if it does not tame achromia. sent5: there is something such that if it petrifies it is a kind of honorable thing that is not a kind of a semanticist. sent6: there exists something such that if it is not a Monopoly it is cystic and it is not a tichodrome. sent7: if the testudo does not tame bistro it does petrify and it is not a immortelle. sent8: there exists something such that if it does not petrify then that it is honorable and it is a semanticist is not false. sent9: that something does tame coquille but it is not wilding hold if it does not eat. sent10: the testudo is a kind of a Hedysarum that is not a semanticist if it does not ski. sent11: the testudo is honorable if the fact that it does not petrify hold. sent12: there exists something such that if it does not ankylose it is a kind of a Tamil that is not a kind of an immobility. sent13: if something does petrify then it is honorable and it is not a semanticist. sent14: if the testudo does petrify then it is both honorable and not a semanticist. sent15: if the testudo does not petrify then it is honorable a semanticist. sent16: there exists something such that if that it is not macroeconomic hold it shrinks gunite and does not ankylose. sent17: something is honorable but it is not a semanticist if it does not petrify.
sent17 -> int1: the testudo is not dishonorable and is not a kind of a semanticist if it does not petrify.; int1 -> hypothesis;
there is something such that if it does not eat it does tame coquille and it is not a wilding.
sent9 -> int2: if the coquille does not eat then it does tame coquille and is not a wilding.; int2 -> hypothesis;
$hypothesis$ = that there is something such that if it does not petrify it is honorable and is not a semanticist is false. ; $context$ = sent1: there is something such that if it does not petrify then it is honorable. sent2: if something does not murmur painted then it is a Lentinus but not lower-class. sent3: there exists something such that if it does not petrify then it is not a kind of a semanticist. sent4: the fluid murmurs Gabriel but it is not a kind of a semanticist if it does not tame achromia. sent5: there is something such that if it petrifies it is a kind of honorable thing that is not a kind of a semanticist. sent6: there exists something such that if it is not a Monopoly it is cystic and it is not a tichodrome. sent7: if the testudo does not tame bistro it does petrify and it is not a immortelle. sent8: there exists something such that if it does not petrify then that it is honorable and it is a semanticist is not false. sent9: that something does tame coquille but it is not wilding hold if it does not eat. sent10: the testudo is a kind of a Hedysarum that is not a semanticist if it does not ski. sent11: the testudo is honorable if the fact that it does not petrify hold. sent12: there exists something such that if it does not ankylose it is a kind of a Tamil that is not a kind of an immobility. sent13: if something does petrify then it is honorable and it is not a semanticist. sent14: if the testudo does petrify then it is both honorable and not a semanticist. sent15: if the testudo does not petrify then it is honorable a semanticist. sent16: there exists something such that if that it is not macroeconomic hold it shrinks gunite and does not ankylose. sent17: something is honorable but it is not a semanticist if it does not petrify. ; $proof$ = 
sent17 -> int1: the testudo is not dishonorable and is not a kind of a semanticist if it does not petrify.; int1 -> hypothesis; __DISPROVED__