the consumption is not a Paramaribo.
sent1: the border is a Paramaribo. sent2: the consumption sojourns. sent3: if the pacer is a kowtow then the probationer is a kowtow. sent4: the consumption is a sojourn and it is volcanic. sent5: something does not lean backroom if the fact that it is not a knackwurst and it lean backroom is not true. sent6: if the statice is both not accusative and not on then it is not chitinous. sent7: if there is something such that that it does not lean backroom is not incorrect the pacer is a kowtow and a setscrew. sent8: the consumption is a kowtow if it enfranchises phototherapy. sent9: the consumption does afforest musnud. sent10: the nullah is both a kowtow and a Argonautidae. sent11: the fact that something is not a kind of a knackwurst and does lean backroom does not hold if it is not chitinous. sent12: the musnud is a Paramaribo. sent13: the babassu is a sojourn and/or it is not a Paramaribo if the probationer is a kowtow. sent14: the Jihadist is spectroscopic and it is a kowtow. sent15: the consumption is a Paramaribo if it is a kowtow. sent16: there exists something such that it is not a setscrew. sent17: the consumption is a kind of a kowtow and does sojourn. sent18: the statice is both not an accusative and not on.
sent17 -> int1: the consumption is a kowtow.; int1 & sent15 -> hypothesis;
the consumption is not a Paramaribo.
sent5 -> int2: if the fact that the statice is not a knackwurst and does lean backroom is not true then it does not lean backroom.; sent11 -> int3: if the statice is not chitinous then the fact that it is not a kind of a knackwurst and leans backroom is not correct.; sent6 & sent18 -> int4: that the statice is not chitinous is true.; int3 & int4 -> int5: the fact that the statice is not a knackwurst but it leans backroom is incorrect.; int2 & int5 -> int6: the statice does not lean backroom.; int6 -> int7: there is something such that it does not lean backroom.; int7 & sent7 -> int8: the pacer is a kowtow and it is a setscrew.; int8 -> int9: the pacer is a kind of a kowtow.; sent3 & int9 -> int10: the probationer is a kowtow.; sent13 & int10 -> int11: the babassu is either a sojourn or not a Paramaribo or both.; int11 -> int12: there is something such that either it is a sojourn or it is not a kind of a Paramaribo or both.;
$hypothesis$ = the consumption is not a Paramaribo. ; $context$ = sent1: the border is a Paramaribo. sent2: the consumption sojourns. sent3: if the pacer is a kowtow then the probationer is a kowtow. sent4: the consumption is a sojourn and it is volcanic. sent5: something does not lean backroom if the fact that it is not a knackwurst and it lean backroom is not true. sent6: if the statice is both not accusative and not on then it is not chitinous. sent7: if there is something such that that it does not lean backroom is not incorrect the pacer is a kowtow and a setscrew. sent8: the consumption is a kowtow if it enfranchises phototherapy. sent9: the consumption does afforest musnud. sent10: the nullah is both a kowtow and a Argonautidae. sent11: the fact that something is not a kind of a knackwurst and does lean backroom does not hold if it is not chitinous. sent12: the musnud is a Paramaribo. sent13: the babassu is a sojourn and/or it is not a Paramaribo if the probationer is a kowtow. sent14: the Jihadist is spectroscopic and it is a kowtow. sent15: the consumption is a Paramaribo if it is a kowtow. sent16: there exists something such that it is not a setscrew. sent17: the consumption is a kind of a kowtow and does sojourn. sent18: the statice is both not an accusative and not on. ; $proof$ = 
sent17 -> int1: the consumption is a kowtow.; int1 & sent15 -> hypothesis; __DISPROVED__