the fact that the bouncing does not occur is correct.
sent1: if the stabbing overplus happens then the Cubanness occurs. sent2: the Cubanness happens if the compromising happens. sent3: if the stabbing motoneuron occurs and the bounce happens the Cuban does not occur. sent4: the anaplasty does not occur. sent5: the immobileness happens and the stabbing motoneuron happens. sent6: if the anaplasty does not occur the compromising and/or the stabbing overplus occurs.
sent5 -> int1: the fact that the stabbing motoneuron does not occur does not hold.; void -> assump1: Let's assume that the bounce happens.; int1 & assump1 -> int2: the stabbing motoneuron happens and the bouncing occurs.; int2 & sent3 -> int3: the Cuban does not occur.; sent6 & sent4 -> int4: the compromise occurs and/or the stabbing overplus occurs.; int4 & sent2 & sent1 -> int5: the Cuban occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the bouncing does not occur is correct. ; $context$ = sent1: if the stabbing overplus happens then the Cubanness occurs. sent2: the Cubanness happens if the compromising happens. sent3: if the stabbing motoneuron occurs and the bounce happens the Cuban does not occur. sent4: the anaplasty does not occur. sent5: the immobileness happens and the stabbing motoneuron happens. sent6: if the anaplasty does not occur the compromising and/or the stabbing overplus occurs. ; $proof$ = 
sent5 -> int1: the fact that the stabbing motoneuron does not occur does not hold.; void -> assump1: Let's assume that the bounce happens.; int1 & assump1 -> int2: the stabbing motoneuron happens and the bouncing occurs.; int2 & sent3 -> int3: the Cuban does not occur.; sent6 & sent4 -> int4: the compromise occurs and/or the stabbing overplus occurs.; int4 & sent2 & sent1 -> int5: the Cuban occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__