that the fact that the feverfew either is nonresidential or bargains Muntiacus or both hold is not right.
sent1: the feverfew bargains Muntiacus if the smokescreen is a retreat. sent2: something is nonresidential if it is a iceboat. sent3: that the lounger is a iceboat but it does not connive does not hold if there is something such that it is citrous. sent4: the Luxemburger is citrous. sent5: the fact that the smokescreen does not beep but it does bargain twenty-seven is wrong. sent6: if the fact that the smokescreen is not a kind of a beep but it does bargain twenty-seven does not hold then it does retreat. sent7: the smokescreen either is a retreat or is nonresidential or both. sent8: the fact that the fact that that something is not a retreat but it is a mortmain is not false does not hold if it does bargain Muntiacus is true. sent9: if there is something such that that it is a kind of a iceboat that does not connive is not true the smokescreen is not a iceboat. sent10: something does bargain Muntiacus if it is nonresidential.
sent6 & sent5 -> int1: the smokescreen is a retreat.; sent1 & int1 -> int2: the feverfew does bargain Muntiacus.; int2 -> hypothesis;
that the jerboa is not a retreat but it is a kind of a mortmain is incorrect.
sent8 -> int3: the fact that the jerboa is not a retreat but it is a mortmain is incorrect if it does bargain Muntiacus.; sent10 -> int4: the jerboa does bargain Muntiacus if it is nonresidential.; sent2 -> int5: if the jerboa is a iceboat then it is nonresidential.;
$hypothesis$ = that the fact that the feverfew either is nonresidential or bargains Muntiacus or both hold is not right. ; $context$ = sent1: the feverfew bargains Muntiacus if the smokescreen is a retreat. sent2: something is nonresidential if it is a iceboat. sent3: that the lounger is a iceboat but it does not connive does not hold if there is something such that it is citrous. sent4: the Luxemburger is citrous. sent5: the fact that the smokescreen does not beep but it does bargain twenty-seven is wrong. sent6: if the fact that the smokescreen is not a kind of a beep but it does bargain twenty-seven does not hold then it does retreat. sent7: the smokescreen either is a retreat or is nonresidential or both. sent8: the fact that the fact that that something is not a retreat but it is a mortmain is not false does not hold if it does bargain Muntiacus is true. sent9: if there is something such that that it is a kind of a iceboat that does not connive is not true the smokescreen is not a iceboat. sent10: something does bargain Muntiacus if it is nonresidential. ; $proof$ = 
sent6 & sent5 -> int1: the smokescreen is a retreat.; sent1 & int1 -> int2: the feverfew does bargain Muntiacus.; int2 -> hypothesis; __DISPROVED__