the yield is unhappy if the proctologist is intelligent.
sent1: if the fact that the materialization does expect is true then the yield is unhappy. sent2: the materialization does expect if the proctologist is intelligent.
void -> assump1: Let's assume that that the proctologist is intelligent is not false.; sent2 & assump1 -> int1: the materialization expects.; int1 & sent1 -> int2: that the yield is unhappy is right.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the yield is unhappy if the proctologist is intelligent. ; $context$ = sent1: if the fact that the materialization does expect is true then the yield is unhappy. sent2: the materialization does expect if the proctologist is intelligent. ; $proof$ = 
void -> assump1: Let's assume that that the proctologist is intelligent is not false.; sent2 & assump1 -> int1: the materialization expects.; int1 & sent1 -> int2: that the yield is unhappy is right.; [assump1] & int2 -> hypothesis; __PROVED__