the fact that the boiling interposes Bigfoot but it does not stub actinometry does not hold.
sent1: if something skis then it does interpose Bigfoot and does not stub actinometry. sent2: the myelencephalon is not a bankbook if the fact that it is not a Luxemburger and it is a bankbook does not hold. sent3: the fact that that the chokepoint interposes blackbody and is not bubaline is false is not incorrect. sent4: the myelencephalon stubs actinometry. sent5: the wain is not incompressible. sent6: the fact that the ileum does stub actinometry hold. sent7: the fact that the boiling interposes Bigfoot and stubs actinometry is not right. sent8: the saxifrage is a Sheetrock and incompressible. sent9: if the myelencephalon is compressible then the fact that the boiling does interpose Bigfoot but it does not stub actinometry is false. sent10: if the myelencephalon is not incompressible then that the boiling interposes Bigfoot and it does stub actinometry is wrong. sent11: the angiosperm is a Mills and it is a whitefly. sent12: that the boiling does interpose leatherleaf but it does not stub actinometry is not right if the myelencephalon is not incompressible. sent13: the myelencephalon is not a kind of a indiction and it is not a decapod if it is not a bankbook. sent14: the wain is confrontational and it is noseless. sent15: the fact that the fact that the myelencephalon is not incompressible is not false if that the wain does not ski is not true hold. sent16: the wain interposes leatherleaf. sent17: the hotspot does interpose Bigfoot. sent18: the wain is not incompressible if the myelencephalon is not a indiction. sent19: the wain is a kind of a skiing that does interpose leatherleaf.
sent19 -> int1: the wain does ski.; int1 & sent15 -> int2: the myelencephalon is not incompressible.; int2 & sent9 -> hypothesis;
the boiling does interpose Bigfoot and does not stub actinometry.
sent1 -> int3: if the boiling is a skiing it interposes Bigfoot and does not stub actinometry.;
$hypothesis$ = the fact that the boiling interposes Bigfoot but it does not stub actinometry does not hold. ; $context$ = sent1: if something skis then it does interpose Bigfoot and does not stub actinometry. sent2: the myelencephalon is not a bankbook if the fact that it is not a Luxemburger and it is a bankbook does not hold. sent3: the fact that that the chokepoint interposes blackbody and is not bubaline is false is not incorrect. sent4: the myelencephalon stubs actinometry. sent5: the wain is not incompressible. sent6: the fact that the ileum does stub actinometry hold. sent7: the fact that the boiling interposes Bigfoot and stubs actinometry is not right. sent8: the saxifrage is a Sheetrock and incompressible. sent9: if the myelencephalon is compressible then the fact that the boiling does interpose Bigfoot but it does not stub actinometry is false. sent10: if the myelencephalon is not incompressible then that the boiling interposes Bigfoot and it does stub actinometry is wrong. sent11: the angiosperm is a Mills and it is a whitefly. sent12: that the boiling does interpose leatherleaf but it does not stub actinometry is not right if the myelencephalon is not incompressible. sent13: the myelencephalon is not a kind of a indiction and it is not a decapod if it is not a bankbook. sent14: the wain is confrontational and it is noseless. sent15: the fact that the fact that the myelencephalon is not incompressible is not false if that the wain does not ski is not true hold. sent16: the wain interposes leatherleaf. sent17: the hotspot does interpose Bigfoot. sent18: the wain is not incompressible if the myelencephalon is not a indiction. sent19: the wain is a kind of a skiing that does interpose leatherleaf. ; $proof$ = 
sent19 -> int1: the wain does ski.; int1 & sent15 -> int2: the myelencephalon is not incompressible.; int2 & sent9 -> hypothesis; __PROVED__