that the paleolithicness and the rebelling occurs prevents that the smash occurs.
sent1: that both the paleolithicness and the rebelling occurs results in the smash. sent2: the paleolithicness occurs. sent3: the checkmating happens. sent4: if the exculpatoriness and/or the serial happens the smashing occurs. sent5: the exculpatoriness and/or that the serialness happens leads to that the smashing does not occur. sent6: the rebelling prevents that the serial does not occur. sent7: the fact that the smashing occurs hold. sent8: the smashing does not occur if the exculpatoriness happens.
void -> assump1: Let's assume that the paleolithicness and the rebelling occurs.; assump1 -> int1: the fact that the rebelling occurs is correct.; sent6 & int1 -> int2: the serial happens.; int2 -> int3: the exculpatoriness happens and/or the serialness happens.; sent5 & int3 -> int4: the smash does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the paleolithicness and the rebelling occurs prevents that the smash occurs. ; $context$ = sent1: that both the paleolithicness and the rebelling occurs results in the smash. sent2: the paleolithicness occurs. sent3: the checkmating happens. sent4: if the exculpatoriness and/or the serial happens the smashing occurs. sent5: the exculpatoriness and/or that the serialness happens leads to that the smashing does not occur. sent6: the rebelling prevents that the serial does not occur. sent7: the fact that the smashing occurs hold. sent8: the smashing does not occur if the exculpatoriness happens. ; $proof$ = 
void -> assump1: Let's assume that the paleolithicness and the rebelling occurs.; assump1 -> int1: the fact that the rebelling occurs is correct.; sent6 & int1 -> int2: the serial happens.; int2 -> int3: the exculpatoriness happens and/or the serialness happens.; sent5 & int3 -> int4: the smash does not occur.; [assump1] & int4 -> hypothesis; __PROVED__