the distending occurs.
sent1: the SCNT happens. sent2: the hostile happens if the taps happens. sent3: the tapping occurs. sent4: both the aerobicsness and the SCNT happens. sent5: if the aerobicsness and the normativeness happens the hostileness does not occur. sent6: if the normativeness does not occur then the distending happens.
sent4 -> int1: the aerobicsness happens.; void -> assump1: Let's assume that the normativeness happens.; int1 & assump1 -> int2: the aerobicsness happens and the normativeness occurs.; int2 & sent5 -> int3: the fact that the hostileness does not occur is right.; sent2 & sent3 -> int4: the hostile occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the normativeness does not occur.; int6 & sent6 -> hypothesis;
$hypothesis$ = the distending occurs. ; $context$ = sent1: the SCNT happens. sent2: the hostile happens if the taps happens. sent3: the tapping occurs. sent4: both the aerobicsness and the SCNT happens. sent5: if the aerobicsness and the normativeness happens the hostileness does not occur. sent6: if the normativeness does not occur then the distending happens. ; $proof$ = 
sent4 -> int1: the aerobicsness happens.; void -> assump1: Let's assume that the normativeness happens.; int1 & assump1 -> int2: the aerobicsness happens and the normativeness occurs.; int2 & sent5 -> int3: the fact that the hostileness does not occur is right.; sent2 & sent3 -> int4: the hostile occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the normativeness does not occur.; int6 & sent6 -> hypothesis; __PROVED__