the fungus does not overrun trouper but it does overrun antiquity.
sent1: the hemin does not capitalize executive if something that does not damage cornerback does not wash. sent2: the fungus overruns antiquity if the rosefish is not a Appalachians but it is woolen. sent3: the teratogen overruns cruise if there exists something such that it professes. sent4: the teratogen is not a arachnoid but it overruns cruise if there is something such that it does profess. sent5: the rosefish is not Appalachians. sent6: there exists something such that that it does profess hold. sent7: if something capitalizes executive then that it does not wash and damages cornerback is incorrect. sent8: The trouper does not overrun fungus. sent9: the rosefish is not a Appalachians and not non-woolen if the hemin does not capitalize executive. sent10: something damages cornerback and is not a wash. sent11: the fetus capitalizes executive. sent12: if the rosefish is a Appalachians and it is woolen the fungus overruns antiquity. sent13: the teratogen does overrun cruise. sent14: the prowler is arachnoid if the fetus either does not overrun cruise or is arachnoid or both. sent15: if the teratogen is not a Appalachians then the rosefish is non-woolen thing that does not overrun cruise. sent16: something does not overrun cruise or is not non-arachnoid or both if it is not pneumonic. sent17: the prowler is not pneumonic if the teratogen is not arachnoid but it overruns cruise. sent18: if the fact that something does not profess and overruns antiquity is not true then it does not overruns antiquity. sent19: there is something such that it does not damage cornerback. sent20: that that the teratogen does not profess but it overruns antiquity does not hold hold if the prowler is arachnoid. sent21: the fetus does not damage cornerback and it does not wash if the fact that the prowler is not pneumonic is correct. sent22: the rosefish is a kind of non-arachnoid thing that is not Appalachians. sent23: if the fact that something is not a kind of a wash but it does damage cornerback does not hold then it is not pneumonic. sent24: the fungus does not overrun trouper.
sent6 & sent4 -> int1: the teratogen is not a kind of a arachnoid and does overrun cruise.; int1 & sent17 -> int2: the prowler is not pneumonic.; int2 & sent21 -> int3: the fetus does not damage cornerback and it is not a wash.; int3 -> int4: something does not damage cornerback and is not a wash.; int4 & sent1 -> int5: the hemin does not capitalize executive.; int5 & sent9 -> int6: the rosefish is both not Appalachians and not non-woolen.; int6 & sent2 -> int7: the fungus overruns antiquity.; int7 & sent24 -> hypothesis;
the fact that the fungus does not overrun trouper but it overruns antiquity is not right.
sent18 -> int8: if that the teratogen does not profess but it does overrun antiquity is not right then that it does not overrun antiquity hold.; sent16 -> int9: if the fetus is not pneumonic it does not overrun cruise or it is a arachnoid or both.; sent23 -> int10: if that the fetus does not wash and does damage cornerback is not true it is not pneumonic.; sent7 -> int11: if the fetus capitalizes executive the fact that the fact that it is not a wash and damages cornerback is not wrong is not right.; int11 & sent11 -> int12: that the fetus is not a kind of a wash but it damages cornerback is not right.; int10 & int12 -> int13: the fetus is not pneumonic.; int9 & int13 -> int14: the fetus does not overrun cruise or is a kind of a arachnoid or both.; sent14 & int14 -> int15: the prowler is a arachnoid.; sent20 & int15 -> int16: that the teratogen does not profess but it overruns antiquity is wrong.; int8 & int16 -> int17: the teratogen does not overrun antiquity.; int17 -> int18: something does not overrun antiquity.;
$hypothesis$ = the fungus does not overrun trouper but it does overrun antiquity. ; $context$ = sent1: the hemin does not capitalize executive if something that does not damage cornerback does not wash. sent2: the fungus overruns antiquity if the rosefish is not a Appalachians but it is woolen. sent3: the teratogen overruns cruise if there exists something such that it professes. sent4: the teratogen is not a arachnoid but it overruns cruise if there is something such that it does profess. sent5: the rosefish is not Appalachians. sent6: there exists something such that that it does profess hold. sent7: if something capitalizes executive then that it does not wash and damages cornerback is incorrect. sent8: The trouper does not overrun fungus. sent9: the rosefish is not a Appalachians and not non-woolen if the hemin does not capitalize executive. sent10: something damages cornerback and is not a wash. sent11: the fetus capitalizes executive. sent12: if the rosefish is a Appalachians and it is woolen the fungus overruns antiquity. sent13: the teratogen does overrun cruise. sent14: the prowler is arachnoid if the fetus either does not overrun cruise or is arachnoid or both. sent15: if the teratogen is not a Appalachians then the rosefish is non-woolen thing that does not overrun cruise. sent16: something does not overrun cruise or is not non-arachnoid or both if it is not pneumonic. sent17: the prowler is not pneumonic if the teratogen is not arachnoid but it overruns cruise. sent18: if the fact that something does not profess and overruns antiquity is not true then it does not overruns antiquity. sent19: there is something such that it does not damage cornerback. sent20: that that the teratogen does not profess but it overruns antiquity does not hold hold if the prowler is arachnoid. sent21: the fetus does not damage cornerback and it does not wash if the fact that the prowler is not pneumonic is correct. sent22: the rosefish is a kind of non-arachnoid thing that is not Appalachians. sent23: if the fact that something is not a kind of a wash but it does damage cornerback does not hold then it is not pneumonic. sent24: the fungus does not overrun trouper. ; $proof$ = 
sent6 & sent4 -> int1: the teratogen is not a kind of a arachnoid and does overrun cruise.; int1 & sent17 -> int2: the prowler is not pneumonic.; int2 & sent21 -> int3: the fetus does not damage cornerback and it is not a wash.; int3 -> int4: something does not damage cornerback and is not a wash.; int4 & sent1 -> int5: the hemin does not capitalize executive.; int5 & sent9 -> int6: the rosefish is both not Appalachians and not non-woolen.; int6 & sent2 -> int7: the fungus overruns antiquity.; int7 & sent24 -> hypothesis; __PROVED__