the fact that the waving Ramachandra and the refresher happens is wrong.
sent1: if the accelerating pioneer does not occur then that the waving Ramachandra happens and the refresher happens is false. sent2: both the waving Moscow and the vandalism happens. sent3: the waving Moscow occurs. sent4: if the punch-up does not occur then the fact that the extroversiveness occurs and the hieraticness happens is not right. sent5: the harmonization does not occur. sent6: the accelerating eightsome does not occur. sent7: the fact that the macroeconomicsness does not occur is not false. sent8: that both the boating and the anaerobicness occurs is incorrect if the verbolatry happens. sent9: the fact that the fact that both the Germanism and the pointlessness happens is false is not false if the mentalness does not occur. sent10: if the pragmaticness occurs then the preserving does not occur. sent11: the fact that the recognizing and the waving reinforcement occurs does not hold if the parading occurs. sent12: the vandalism does not occur if the irreverentness does not occur. sent13: the fact that not the trolling diameter but the trolling actinolite occurs does not hold if the microeconomicness occurs. sent14: if the nonrepetitiveness does not occur the closing does not occur. sent15: that both the lull and the waving reinforcement occurs is not true if the closing does not occur. sent16: the straightness happens. sent17: the fact that not the plant but the jamming occurs is wrong if the irreverentness happens. sent18: if the fact that that the planting does not occur and the jamming happens does not hold is not incorrect the accelerating pioneer does not occur. sent19: the prostitution does not occur.
void -> assump1: Let's assume that the irreverentness does not occur.; sent12 & assump1 -> int1: the vandalism does not occur.; sent2 -> int2: the vandalism happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the irreverentness occurs.; int4 & sent17 -> int5: the fact that the plant does not occur but the jamming occurs does not hold.; int5 & sent18 -> int6: the accelerating pioneer does not occur.; int6 & sent1 -> hypothesis;
$hypothesis$ = the fact that the waving Ramachandra and the refresher happens is wrong. ; $context$ = sent1: if the accelerating pioneer does not occur then that the waving Ramachandra happens and the refresher happens is false. sent2: both the waving Moscow and the vandalism happens. sent3: the waving Moscow occurs. sent4: if the punch-up does not occur then the fact that the extroversiveness occurs and the hieraticness happens is not right. sent5: the harmonization does not occur. sent6: the accelerating eightsome does not occur. sent7: the fact that the macroeconomicsness does not occur is not false. sent8: that both the boating and the anaerobicness occurs is incorrect if the verbolatry happens. sent9: the fact that the fact that both the Germanism and the pointlessness happens is false is not false if the mentalness does not occur. sent10: if the pragmaticness occurs then the preserving does not occur. sent11: the fact that the recognizing and the waving reinforcement occurs does not hold if the parading occurs. sent12: the vandalism does not occur if the irreverentness does not occur. sent13: the fact that not the trolling diameter but the trolling actinolite occurs does not hold if the microeconomicness occurs. sent14: if the nonrepetitiveness does not occur the closing does not occur. sent15: that both the lull and the waving reinforcement occurs is not true if the closing does not occur. sent16: the straightness happens. sent17: the fact that not the plant but the jamming occurs is wrong if the irreverentness happens. sent18: if the fact that that the planting does not occur and the jamming happens does not hold is not incorrect the accelerating pioneer does not occur. sent19: the prostitution does not occur. ; $proof$ = 
void -> assump1: Let's assume that the irreverentness does not occur.; sent12 & assump1 -> int1: the vandalism does not occur.; sent2 -> int2: the vandalism happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the irreverentness occurs.; int4 & sent17 -> int5: the fact that the plant does not occur but the jamming occurs does not hold.; int5 & sent18 -> int6: the accelerating pioneer does not occur.; int6 & sent1 -> hypothesis; __PROVED__