that the statistician does casket defendant if the cask does casket statistician is false.
sent1: a non-tactful thing is a kind of poetic thing that caskets statistician. sent2: if there is something such that it caskets statistician and is poetic the statistician does casket defendant. sent3: if the cask does casket defendant then the abomasum is precancerous. sent4: the cask is not non-poetic. sent5: something does casket statistician. sent6: the statistician is a bed-ground. sent7: the cask does casket defendant and does not casket grinding if there exists something such that it is a bed-ground. sent8: if something that caskets defendant caskets statistician the fact that the statistician is poetic hold.
void -> assump1: Let's assume that the cask does casket statistician.; assump1 & sent4 -> int1: the cask does casket statistician and is poetic.; int1 -> int2: there is something such that it does casket statistician and it is poetic.; int2 & sent2 -> int3: that the statistician caskets defendant is not false.; [assump1] & int3 -> hypothesis;
the abomasum is both precancerous and poetic.
sent6 -> int4: there is something such that it is a bed-ground.; int4 & sent7 -> int5: the cask caskets defendant but it does not casket grinding.; int5 -> int6: the cask caskets defendant.; sent3 & int6 -> int7: the abomasum is precancerous.; sent1 -> int8: if the abomasum is not tactful it is poetic and does casket statistician.;
$hypothesis$ = that the statistician does casket defendant if the cask does casket statistician is false. ; $context$ = sent1: a non-tactful thing is a kind of poetic thing that caskets statistician. sent2: if there is something such that it caskets statistician and is poetic the statistician does casket defendant. sent3: if the cask does casket defendant then the abomasum is precancerous. sent4: the cask is not non-poetic. sent5: something does casket statistician. sent6: the statistician is a bed-ground. sent7: the cask does casket defendant and does not casket grinding if there exists something such that it is a bed-ground. sent8: if something that caskets defendant caskets statistician the fact that the statistician is poetic hold. ; $proof$ = 
void -> assump1: Let's assume that the cask does casket statistician.; assump1 & sent4 -> int1: the cask does casket statistician and is poetic.; int1 -> int2: there is something such that it does casket statistician and it is poetic.; int2 & sent2 -> int3: that the statistician caskets defendant is not false.; [assump1] & int3 -> hypothesis; __DISPROVED__