the slingback does not jet malope.
sent1: if the Algerian does jet malope but it is not agraphic then the prickle-weed does not jet malope. sent2: the extremity is not a kind of a track if it is unpreventable. sent3: the mineralogist boards slingback and is a bung if it is not unilateral. sent4: that if the extremity galls Champagne the fact that the extremity is not a bung and/or it does not board slingback does not hold is not incorrect. sent5: the extremity does gall Champagne if there is something such that that it is agraphic and is not unchangeable is wrong. sent6: the Algerian jets malope and is not agraphic if the extremity does redeploy set-back. sent7: if the mineralogist does board slingback that the slingback is unchangeable but it does not gall Champagne is false. sent8: if that the extremity is not a bung and/or it does not board slingback is not true then it is unilateral. sent9: the fact that the Algerian is agraphic but it is not unchangeable does not hold if there exists something such that it redeploys set-back. sent10: the slingback jets malope if there exists something such that it is unilateral and it does not track. sent11: there is something such that it does redeploy set-back. sent12: the extremity is unpreventable. sent13: there exists something such that that it is unpreventable and unilateral is wrong. sent14: if the mineralogist is not unpreventable and/or it is not a track the fact that it is not unilateral hold. sent15: if there is something such that it is unchangeable the extremity galls Champagne. sent16: the slingback does gall Champagne.
sent11 & sent9 -> int1: the fact that the Algerian is agraphic but it is not unchangeable is not correct.; int1 -> int2: there exists something such that that it is agraphic and is not unchangeable is wrong.; int2 & sent5 -> int3: the extremity galls Champagne.; int3 & sent4 -> int4: that the extremity either is not a bung or does not board slingback or both is not true.; int4 & sent8 -> int5: the fact that the extremity is unilateral is not incorrect.; sent2 & sent12 -> int6: the extremity is not a kind of a track.; int5 & int6 -> int7: the extremity is unilateral but it is not a track.; int7 -> int8: there is something such that it is both unilateral and not a track.; int8 & sent10 -> hypothesis;
the prickle-weed does not jet malope.
$hypothesis$ = the slingback does not jet malope. ; $context$ = sent1: if the Algerian does jet malope but it is not agraphic then the prickle-weed does not jet malope. sent2: the extremity is not a kind of a track if it is unpreventable. sent3: the mineralogist boards slingback and is a bung if it is not unilateral. sent4: that if the extremity galls Champagne the fact that the extremity is not a bung and/or it does not board slingback does not hold is not incorrect. sent5: the extremity does gall Champagne if there is something such that that it is agraphic and is not unchangeable is wrong. sent6: the Algerian jets malope and is not agraphic if the extremity does redeploy set-back. sent7: if the mineralogist does board slingback that the slingback is unchangeable but it does not gall Champagne is false. sent8: if that the extremity is not a bung and/or it does not board slingback is not true then it is unilateral. sent9: the fact that the Algerian is agraphic but it is not unchangeable does not hold if there exists something such that it redeploys set-back. sent10: the slingback jets malope if there exists something such that it is unilateral and it does not track. sent11: there is something such that it does redeploy set-back. sent12: the extremity is unpreventable. sent13: there exists something such that that it is unpreventable and unilateral is wrong. sent14: if the mineralogist is not unpreventable and/or it is not a track the fact that it is not unilateral hold. sent15: if there is something such that it is unchangeable the extremity galls Champagne. sent16: the slingback does gall Champagne. ; $proof$ = 
sent11 & sent9 -> int1: the fact that the Algerian is agraphic but it is not unchangeable is not correct.; int1 -> int2: there exists something such that that it is agraphic and is not unchangeable is wrong.; int2 & sent5 -> int3: the extremity galls Champagne.; int3 & sent4 -> int4: that the extremity either is not a bung or does not board slingback or both is not true.; int4 & sent8 -> int5: the fact that the extremity is unilateral is not incorrect.; sent2 & sent12 -> int6: the extremity is not a kind of a track.; int5 & int6 -> int7: the extremity is unilateral but it is not a track.; int7 -> int8: there is something such that it is both unilateral and not a track.; int8 & sent10 -> hypothesis; __DISPROVED__