the stemmer and/or that the routing happens leads to that the towing does not occur.
sent1: if both the Portuguese and the relinquishment occurs the anticlinalness happens. sent2: that the stemmer occurs and/or the rout occurs triggers the tow. sent3: if the stemmer occurs then the rebound happens. sent4: the settling Forficulidae happens. sent5: that the rout happens triggers the rebound. sent6: if that the rebound occurs and the settling Forficulidae happens is right the fact that the towing occurs is not true.
void -> assump1: Let's assume that the stemmer happens and/or the rout occurs.; assump1 & sent3 & sent5 -> int1: the rebound occurs.; int1 & sent4 -> int2: both the rebound and the settling Forficulidae occurs.; int2 & sent6 -> int3: the tow does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the stemmer and/or that the routing happens leads to that the towing does not occur. ; $context$ = sent1: if both the Portuguese and the relinquishment occurs the anticlinalness happens. sent2: that the stemmer occurs and/or the rout occurs triggers the tow. sent3: if the stemmer occurs then the rebound happens. sent4: the settling Forficulidae happens. sent5: that the rout happens triggers the rebound. sent6: if that the rebound occurs and the settling Forficulidae happens is right the fact that the towing occurs is not true. ; $proof$ = 
void -> assump1: Let's assume that the stemmer happens and/or the rout occurs.; assump1 & sent3 & sent5 -> int1: the rebound occurs.; int1 & sent4 -> int2: both the rebound and the settling Forficulidae occurs.; int2 & sent6 -> int3: the tow does not occur.; [assump1] & int3 -> hypothesis; __PROVED__