if the nontechnicalness occurs then the gemmiferousness happens.
sent1: that the nontechnicalness happens causes that the arriving foible does not occur. sent2: if the nontechnicalness happens not the arriving foible but the gemmiferousness occurs.
void -> assump1: Let's assume that the nontechnicalness occurs.; sent2 & assump1 -> int1: not the arriving foible but the gemmiferousness occurs.; int1 -> int2: the gemmiferousness happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the nontechnicalness occurs then the gemmiferousness happens. ; $context$ = sent1: that the nontechnicalness happens causes that the arriving foible does not occur. sent2: if the nontechnicalness happens not the arriving foible but the gemmiferousness occurs. ; $proof$ = 
void -> assump1: Let's assume that the nontechnicalness occurs.; sent2 & assump1 -> int1: not the arriving foible but the gemmiferousness occurs.; int1 -> int2: the gemmiferousness happens.; [assump1] & int2 -> hypothesis; __PROVED__