the fact that the bacterialness does not occur but the approval occurs is wrong if the uninstructiveness occurs.
sent1: if the uninstructiveness happens then the addiction happens. sent2: if the fact that the addiction occurs is not wrong then the fact that the fact that the bacterialness does not occur and the approval occurs is not true is not false. sent3: the addiction does not occur if the fact that both the non-bacterialness and the addiction occurs is not correct. sent4: both the crowing photocathode and the uninstructiveness happens if the addiction does not occur.
void -> assump1: Let's assume that the uninstructiveness occurs.; sent1 & assump1 -> int1: the addiction happens.; sent2 & int1 -> int2: that the non-bacterialness and the approval occurs does not hold.; [assump1] & int2 -> hypothesis;
the crowing photocathode happens.
$hypothesis$ = the fact that the bacterialness does not occur but the approval occurs is wrong if the uninstructiveness occurs. ; $context$ = sent1: if the uninstructiveness happens then the addiction happens. sent2: if the fact that the addiction occurs is not wrong then the fact that the fact that the bacterialness does not occur and the approval occurs is not true is not false. sent3: the addiction does not occur if the fact that both the non-bacterialness and the addiction occurs is not correct. sent4: both the crowing photocathode and the uninstructiveness happens if the addiction does not occur. ; $proof$ = 
void -> assump1: Let's assume that the uninstructiveness occurs.; sent1 & assump1 -> int1: the addiction happens.; sent2 & int1 -> int2: that the non-bacterialness and the approval occurs does not hold.; [assump1] & int2 -> hypothesis; __PROVED__