the friendliness and the desecrating weight occurs if the thallophyticness does not occur.
sent1: the friendly happens if the thallophyticness does not occur. sent2: the flour happens. sent3: the desecrating weight happens. sent4: that the friendly occurs and the desecrating weight occurs is brought about by that the thallophyticness occurs. sent5: the fact that the untuning pier occurs is not false if the innocent occurs.
void -> assump1: Let's assume that the thallophyticness does not occur.; sent1 & assump1 -> int1: the friendliness occurs.; int1 & sent3 -> int2: that both the friendly and the desecrating weight occurs hold.; [assump1] & int2 -> hypothesis;
both the flouring and the uniformness occurs.
$hypothesis$ = the friendliness and the desecrating weight occurs if the thallophyticness does not occur. ; $context$ = sent1: the friendly happens if the thallophyticness does not occur. sent2: the flour happens. sent3: the desecrating weight happens. sent4: that the friendly occurs and the desecrating weight occurs is brought about by that the thallophyticness occurs. sent5: the fact that the untuning pier occurs is not false if the innocent occurs. ; $proof$ = 
void -> assump1: Let's assume that the thallophyticness does not occur.; sent1 & assump1 -> int1: the friendliness occurs.; int1 & sent3 -> int2: that both the friendly and the desecrating weight occurs hold.; [assump1] & int2 -> hypothesis; __PROVED__