the Transportation is not unpalatable.
sent1: that something is not a plantigrade and it is not a moneymaker is wrong if it is a stripe. sent2: if the fact that the audio is a Notoryctidae is not false the place-kicker is not a pantaloon but it is a kind of a half-length. sent3: something does stripe if it is both not a pantaloon and a half-length. sent4: the fact that the myocardium does not hydroplane and is not a barrage is not false. sent5: if the myocardium packs then the place-kicker sermonizes. sent6: if the audio does stripe then that the rotor is not plantigrade and it is not a half-length is false. sent7: the audio is a Notoryctidae if there is something such that it is a zeugma. sent8: the myocardium is a packing if it does not hydroplane and is not a barrage. sent9: there exists something such that it is a zeugma. sent10: that something does not sermonize but it is a packing is not right if it is a moneymaker. sent11: the Transportation is unpalatable if the fact that the rotor is non-plantigrade thing that is not a half-length is wrong. sent12: something is a moneymaker if it sermonizes. sent13: if the place-kicker is a moneymaker then the audio is a stripe. sent14: the fact that the Transportation is unpalatable hold if the rotor is a kind of a plantigrade. sent15: that if there exists something such that that it is a kind of non-plantigrade thing that is not a kind of a moneymaker is incorrect then the myocardium is a moneymaker is not wrong. sent16: if something is a packing and it does sermonize it is not unpalatable.
sent8 & sent4 -> int1: the myocardium is a packing.; int1 & sent5 -> int2: the place-kicker sermonizes.; sent12 -> int3: the place-kicker is a kind of a moneymaker if it sermonizes.; int2 & int3 -> int4: the place-kicker is a kind of a moneymaker.; int4 & sent13 -> int5: the audio is a stripe.; int5 & sent6 -> int6: that the rotor is a kind of non-plantigrade thing that is not a half-length is not right.; int6 & sent11 -> hypothesis;
the Transportation is not unpalatable.
sent16 -> int7: if the Transportation is a packing and it sermonizes it is not unpalatable.;
$hypothesis$ = the Transportation is not unpalatable. ; $context$ = sent1: that something is not a plantigrade and it is not a moneymaker is wrong if it is a stripe. sent2: if the fact that the audio is a Notoryctidae is not false the place-kicker is not a pantaloon but it is a kind of a half-length. sent3: something does stripe if it is both not a pantaloon and a half-length. sent4: the fact that the myocardium does not hydroplane and is not a barrage is not false. sent5: if the myocardium packs then the place-kicker sermonizes. sent6: if the audio does stripe then that the rotor is not plantigrade and it is not a half-length is false. sent7: the audio is a Notoryctidae if there is something such that it is a zeugma. sent8: the myocardium is a packing if it does not hydroplane and is not a barrage. sent9: there exists something such that it is a zeugma. sent10: that something does not sermonize but it is a packing is not right if it is a moneymaker. sent11: the Transportation is unpalatable if the fact that the rotor is non-plantigrade thing that is not a half-length is wrong. sent12: something is a moneymaker if it sermonizes. sent13: if the place-kicker is a moneymaker then the audio is a stripe. sent14: the fact that the Transportation is unpalatable hold if the rotor is a kind of a plantigrade. sent15: that if there exists something such that that it is a kind of non-plantigrade thing that is not a kind of a moneymaker is incorrect then the myocardium is a moneymaker is not wrong. sent16: if something is a packing and it does sermonize it is not unpalatable. ; $proof$ = 
sent8 & sent4 -> int1: the myocardium is a packing.; int1 & sent5 -> int2: the place-kicker sermonizes.; sent12 -> int3: the place-kicker is a kind of a moneymaker if it sermonizes.; int2 & int3 -> int4: the place-kicker is a kind of a moneymaker.; int4 & sent13 -> int5: the audio is a stripe.; int5 & sent6 -> int6: that the rotor is a kind of non-plantigrade thing that is not a half-length is not right.; int6 & sent11 -> hypothesis; __DISPROVED__