there is something such that if it does not reprise helvella then it is myalgic.
sent1: something is myalgic if it is intuitionist. sent2: there exists something such that if it reprises helvella then it is myalgic. sent3: if something is a caterer it is intuitionist. sent4: that if the chainsaw does reprise helvella then that the chainsaw is intuitionist is true is true. sent5: the chainsaw is intuitionist if the fact that it does not reprise helvella is true. sent6: the vulcanite is not myalgic.
void -> assump1: Let's assume that the chainsaw does not reprise helvella.; sent5 & assump1 -> int1: that the chainsaw is intuitionist is not incorrect.; sent1 -> int2: the chainsaw is myalgic if it is intuitionist.; int1 & int2 -> int3: the chainsaw is myalgic.; [assump1] & int3 -> int4: if that the chainsaw does not reprise helvella is correct then it is myalgic.; int4 -> hypothesis;
the chainsaw is intuitionist if it is a caterer.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it does not reprise helvella then it is myalgic. ; $context$ = sent1: something is myalgic if it is intuitionist. sent2: there exists something such that if it reprises helvella then it is myalgic. sent3: if something is a caterer it is intuitionist. sent4: that if the chainsaw does reprise helvella then that the chainsaw is intuitionist is true is true. sent5: the chainsaw is intuitionist if the fact that it does not reprise helvella is true. sent6: the vulcanite is not myalgic. ; $proof$ = 
void -> assump1: Let's assume that the chainsaw does not reprise helvella.; sent5 & assump1 -> int1: that the chainsaw is intuitionist is not incorrect.; sent1 -> int2: the chainsaw is myalgic if it is intuitionist.; int1 & int2 -> int3: the chainsaw is myalgic.; [assump1] & int3 -> int4: if that the chainsaw does not reprise helvella is correct then it is myalgic.; int4 -> hypothesis; __PROVED__