the fact that something does not bathe veto and is not a heterotroph is not true.
sent1: if the fact that the snuffbox does rubbish balker and it does bathe cellarage does not hold then the nosepiece does not bathe cellarage. sent2: something that does not bathe cellarage does not bathe veto and is not a kind of a heterotroph. sent3: the fact that the snuffbox rubbishes balker and bathes cellarage is not true.
sent2 -> int1: if the nosepiece does not bathe cellarage it does not bathe veto and is not a kind of a heterotroph.; sent1 & sent3 -> int2: the nosepiece does not bathe cellarage.; int1 & int2 -> int3: the nosepiece does not bathe veto and is not a heterotroph.; int3 -> hypothesis;
$hypothesis$ = the fact that something does not bathe veto and is not a heterotroph is not true. ; $context$ = sent1: if the fact that the snuffbox does rubbish balker and it does bathe cellarage does not hold then the nosepiece does not bathe cellarage. sent2: something that does not bathe cellarage does not bathe veto and is not a kind of a heterotroph. sent3: the fact that the snuffbox rubbishes balker and bathes cellarage is not true. ; $proof$ = 
sent2 -> int1: if the nosepiece does not bathe cellarage it does not bathe veto and is not a kind of a heterotroph.; sent1 & sent3 -> int2: the nosepiece does not bathe cellarage.; int1 & int2 -> int3: the nosepiece does not bathe veto and is not a heterotroph.; int3 -> hypothesis; __DISPROVED__