the sheeting is not nonarboreal or it is a kind of a urine or both.
sent1: the fact that the Segway is coeliac and it does bear mongo is wrong if the nifedipine is not coeliac. sent2: if the yanquapin is not a military the fact that the langoustine does not interfere is not incorrect. sent3: the fact that the langoustine is a military and is a kind of a eruditeness is false if there exists something such that it does not interfere. sent4: there exists something such that the fact that it is sisterly is right. sent5: the sheeting is arboreal if there exists something such that the fact that it is military and is not a kind of a eruditeness does not hold. sent6: if the oxalis is sisterly the nifedipine is not coeliac. sent7: there exists something such that the fact that it bears mongo and it is not arboreal is wrong. sent8: that the fact that the langoustine is coeliac and it is a kind of a military is true is not right. sent9: that the oxalis is not a swipe but it is sisterly is not true. sent10: if the fact that something interferes and it is a military is incorrect then it does not interferes. sent11: the spironolactone is not coeliac. sent12: if the fact that there exists something such that that it does not interfere hold is right then that the langoustine is both military and not a eruditeness does not hold. sent13: if the langoustine is a kind of a swipe then the oxalis is not a military. sent14: the sheeting is not coeliac if the fact that the Segway is both not a swipe and not arboreal is wrong. sent15: the yanquapin does not interfere if that the Segway is coeliac and does bear mongo is not true. sent16: that that the langoustine is a military and it is a eruditeness is correct is not right. sent17: the nifedipine is not arboreal. sent18: there exists something such that it does interfere. sent19: the nifedipine is not coeliac if that the oxalis is not a kind of a swipe and it is not sisterly is wrong. sent20: the oxalis is a kind of non-coeliac thing that bears mongo if it does not interfere. sent21: the fact that the oxalis does not swipe and is not sisterly is wrong.
sent19 & sent21 -> int1: the nifedipine is not coeliac.; sent1 & int1 -> int2: that the Segway is coeliac and it bears mongo does not hold.; sent15 & int2 -> int3: the yanquapin does not interfere.; int3 -> int4: there exists something such that it does not interfere.; int4 & sent12 -> int5: that the langoustine is a military and is not a eruditeness does not hold.; int5 -> int6: there exists something such that that it is a military and it is not a eruditeness is not true.; int6 & sent5 -> int7: the sheeting is arboreal.; int7 -> hypothesis;
the nonstarter does bear colonnaded and/or it is arboreal.
sent10 -> int8: if that the oxalis does interfere and it is a kind of a military is not right that it does not interfere is not wrong.;
$hypothesis$ = the sheeting is not nonarboreal or it is a kind of a urine or both. ; $context$ = sent1: the fact that the Segway is coeliac and it does bear mongo is wrong if the nifedipine is not coeliac. sent2: if the yanquapin is not a military the fact that the langoustine does not interfere is not incorrect. sent3: the fact that the langoustine is a military and is a kind of a eruditeness is false if there exists something such that it does not interfere. sent4: there exists something such that the fact that it is sisterly is right. sent5: the sheeting is arboreal if there exists something such that the fact that it is military and is not a kind of a eruditeness does not hold. sent6: if the oxalis is sisterly the nifedipine is not coeliac. sent7: there exists something such that the fact that it bears mongo and it is not arboreal is wrong. sent8: that the fact that the langoustine is coeliac and it is a kind of a military is true is not right. sent9: that the oxalis is not a swipe but it is sisterly is not true. sent10: if the fact that something interferes and it is a military is incorrect then it does not interferes. sent11: the spironolactone is not coeliac. sent12: if the fact that there exists something such that that it does not interfere hold is right then that the langoustine is both military and not a eruditeness does not hold. sent13: if the langoustine is a kind of a swipe then the oxalis is not a military. sent14: the sheeting is not coeliac if the fact that the Segway is both not a swipe and not arboreal is wrong. sent15: the yanquapin does not interfere if that the Segway is coeliac and does bear mongo is not true. sent16: that that the langoustine is a military and it is a eruditeness is correct is not right. sent17: the nifedipine is not arboreal. sent18: there exists something such that it does interfere. sent19: the nifedipine is not coeliac if that the oxalis is not a kind of a swipe and it is not sisterly is wrong. sent20: the oxalis is a kind of non-coeliac thing that bears mongo if it does not interfere. sent21: the fact that the oxalis does not swipe and is not sisterly is wrong. ; $proof$ = 
sent19 & sent21 -> int1: the nifedipine is not coeliac.; sent1 & int1 -> int2: that the Segway is coeliac and it bears mongo does not hold.; sent15 & int2 -> int3: the yanquapin does not interfere.; int3 -> int4: there exists something such that it does not interfere.; int4 & sent12 -> int5: that the langoustine is a military and is not a eruditeness does not hold.; int5 -> int6: there exists something such that that it is a military and it is not a eruditeness is not true.; int6 & sent5 -> int7: the sheeting is arboreal.; int7 -> hypothesis; __PROVED__