the lodging is prevented by that the handlessness does not occur.
sent1: if the lodging occurs the handlessness happens. sent2: the handlessness prevents that the lodging occurs. sent3: the validness occurs. sent4: the fact that the non-handlessness and the lodging happens does not hold if the intern does not occur. sent5: the non-handlessness brings about the lodging. sent6: if that not the handlessness but the lodging occurs is wrong the caravan does not occur. sent7: the immortal does not occur. sent8: the finalization happens. sent9: the ferromagnetism occurs.
void -> assump2: Let's assume that the lodging occurs.; sent1 & assump2 -> int1: the handlessness occurs.; void -> assump1: Let's assume that the handlessness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the lodging does not occur.; [assump1] & int3 -> hypothesis;
the caravanning does not occur.
$hypothesis$ = the lodging is prevented by that the handlessness does not occur. ; $context$ = sent1: if the lodging occurs the handlessness happens. sent2: the handlessness prevents that the lodging occurs. sent3: the validness occurs. sent4: the fact that the non-handlessness and the lodging happens does not hold if the intern does not occur. sent5: the non-handlessness brings about the lodging. sent6: if that not the handlessness but the lodging occurs is wrong the caravan does not occur. sent7: the immortal does not occur. sent8: the finalization happens. sent9: the ferromagnetism occurs. ; $proof$ = 
void -> assump2: Let's assume that the lodging occurs.; sent1 & assump2 -> int1: the handlessness occurs.; void -> assump1: Let's assume that the handlessness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the lodging does not occur.; [assump1] & int3 -> hypothesis; __PROVED__