the scrimshanker is not a thumbscrew.
sent1: the collodion is not a kind of a Belarusian. sent2: if there exists something such that either it warms phenol or it does drink cattle or both the collodion is Belarusian. sent3: if there exists something such that it is Belarusian the collodion drinks cattle. sent4: if the scrimshanker is a thumbscrew the metencephalon does drink cattle.
void -> assump1: Let's assume that the fact that the scrimshanker is a thumbscrew is correct.; sent4 & assump1 -> int1: the metencephalon does drink cattle.; int1 -> int2: either the metencephalon does warm phenol or it does drink cattle or both.; int2 -> int3: something warms phenol or does drink cattle or both.; int3 & sent2 -> int4: the collodion is a Belarusian.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the scrimshanker is not a thumbscrew. ; $context$ = sent1: the collodion is not a kind of a Belarusian. sent2: if there exists something such that either it warms phenol or it does drink cattle or both the collodion is Belarusian. sent3: if there exists something such that it is Belarusian the collodion drinks cattle. sent4: if the scrimshanker is a thumbscrew the metencephalon does drink cattle. ; $proof$ = 
void -> assump1: Let's assume that the fact that the scrimshanker is a thumbscrew is correct.; sent4 & assump1 -> int1: the metencephalon does drink cattle.; int1 -> int2: either the metencephalon does warm phenol or it does drink cattle or both.; int2 -> int3: something warms phenol or does drink cattle or both.; int3 & sent2 -> int4: the collodion is a Belarusian.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__