the crop does not jump ballgame.
sent1: if the crop is not a kind of a studio that it is not an octogenarian and it is not a subtreasury is false. sent2: the crop does not jump ballgame if that it is an octogenarian is not false. sent3: the crop is not a studio. sent4: something is not a subtreasury if the fact that it is both not an octogenarian and not a studio is not right. sent5: something does not jump ballgame if that that it is both not an octogenarian and not a subtreasury is not wrong does not hold. sent6: if that something is not a studio and it does not jump ballgame is false then it is not an octogenarian. sent7: that something does jump ballgame but it is not a kind of a studio is incorrect if the fact that it does not refuel is right. sent8: if something is a kind of an octogenarian it does not jump ballgame. sent9: the fact that the mandarin does not refuel and is a wipeout is wrong if something is not a wipeout. sent10: everything is diazo. sent11: the crop is not a sprawler if it is a scoop. sent12: that the pentazocine is not an octogenarian but it is argentous is not correct. sent13: that something is a wipeout but it is not a Ming does not hold if it is diazo. sent14: if the fact that the mandarin does not refuel but it is a wipeout is false then the ciliate does not refuel. sent15: if there exists something such that that it is a kind of a wipeout and it is not a kind of a Ming is wrong the cappuccino is not a wipeout. sent16: there is nothing that does refuel and is not a Ming. sent17: if the fact that something is not a joiner and it is not a Eiffel does not hold it is not a gavial. sent18: if the fact that something does jump ballgame and is not a studio does not hold it is not a subtreasury.
sent5 -> int1: the crop does not jump ballgame if the fact that it is not an octogenarian and is not a subtreasury does not hold.; sent1 & sent3 -> int2: the fact that the crop is not an octogenarian and it is not a kind of a subtreasury is not true.; int1 & int2 -> hypothesis;
the ciliate is not a subtreasury.
sent18 -> int3: if the fact that the ciliate jumps ballgame and is not a kind of a studio does not hold it is not a subtreasury.; sent7 -> int4: if the ciliate does not refuel the fact that it does jump ballgame and it is not a studio is wrong.; sent10 -> int5: the moth is diazo.; sent13 -> int6: the fact that the moth is a kind of a wipeout that is not a Ming is incorrect if it is diazo.; int5 & int6 -> int7: the fact that the moth is a wipeout that is not a kind of a Ming is not true.; int7 -> int8: there exists nothing such that it is both a wipeout and not a Ming.; int8 -> int9: that the sheatfish is a wipeout but it is not a kind of a Ming does not hold.; int9 -> int10: there is something such that that it is a kind of a wipeout and it is not a kind of a Ming is incorrect.; int10 & sent15 -> int11: the cappuccino is not a kind of a wipeout.; int11 -> int12: something is not a wipeout.; sent9 & int12 -> int13: the fact that the mandarin does not refuel but it is a wipeout is false.; sent14 & int13 -> int14: the ciliate does not refuel.; int4 & int14 -> int15: the fact that that the ciliate jumps ballgame but it is not a kind of a studio hold is not right.; int3 & int15 -> hypothesis;
$hypothesis$ = the crop does not jump ballgame. ; $context$ = sent1: if the crop is not a kind of a studio that it is not an octogenarian and it is not a subtreasury is false. sent2: the crop does not jump ballgame if that it is an octogenarian is not false. sent3: the crop is not a studio. sent4: something is not a subtreasury if the fact that it is both not an octogenarian and not a studio is not right. sent5: something does not jump ballgame if that that it is both not an octogenarian and not a subtreasury is not wrong does not hold. sent6: if that something is not a studio and it does not jump ballgame is false then it is not an octogenarian. sent7: that something does jump ballgame but it is not a kind of a studio is incorrect if the fact that it does not refuel is right. sent8: if something is a kind of an octogenarian it does not jump ballgame. sent9: the fact that the mandarin does not refuel and is a wipeout is wrong if something is not a wipeout. sent10: everything is diazo. sent11: the crop is not a sprawler if it is a scoop. sent12: that the pentazocine is not an octogenarian but it is argentous is not correct. sent13: that something is a wipeout but it is not a Ming does not hold if it is diazo. sent14: if the fact that the mandarin does not refuel but it is a wipeout is false then the ciliate does not refuel. sent15: if there exists something such that that it is a kind of a wipeout and it is not a kind of a Ming is wrong the cappuccino is not a wipeout. sent16: there is nothing that does refuel and is not a Ming. sent17: if the fact that something is not a joiner and it is not a Eiffel does not hold it is not a gavial. sent18: if the fact that something does jump ballgame and is not a studio does not hold it is not a subtreasury. ; $proof$ = 
sent5 -> int1: the crop does not jump ballgame if the fact that it is not an octogenarian and is not a subtreasury does not hold.; sent1 & sent3 -> int2: the fact that the crop is not an octogenarian and it is not a kind of a subtreasury is not true.; int1 & int2 -> hypothesis; __PROVED__