the fact that the trussing shiftlessness does not occur is true if the happiness does not occur.
sent1: the repulsion does not occur. sent2: that the trussing shiftlessness happens but the happiness does not occur is not right. sent3: that the racing occurs is not right if that the Uniateness happens is correct. sent4: the happiness prevents that the trussing shiftlessness happens. sent5: that the beaklessness does not occur prevents that the guttering conciseness occurs.
void -> assump2: Let's assume that the trussing shiftlessness occurs.; void -> assump1: Let's assume that the happiness does not occur.; assump2 & assump1 -> int1: the trussing shiftlessness but not the happiness happens.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the trussing shiftlessness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the trussing shiftlessness does not occur is true if the happiness does not occur. ; $context$ = sent1: the repulsion does not occur. sent2: that the trussing shiftlessness happens but the happiness does not occur is not right. sent3: that the racing occurs is not right if that the Uniateness happens is correct. sent4: the happiness prevents that the trussing shiftlessness happens. sent5: that the beaklessness does not occur prevents that the guttering conciseness occurs. ; $proof$ = 
void -> assump2: Let's assume that the trussing shiftlessness occurs.; void -> assump1: Let's assume that the happiness does not occur.; assump2 & assump1 -> int1: the trussing shiftlessness but not the happiness happens.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the trussing shiftlessness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__