the fact that if the pollution happens the disreputableness does not occur is not right.
sent1: the vulnerableness occurs. sent2: the tectonicsness does not occur if the crosscheck occurs. sent3: the fact that if that the Ford occurs is true the tide does not occur is correct. sent4: the fact that the crumbling doom happens is correct. sent5: the Slavonicness does not occur. sent6: that the affinity happens is brought about by that both the crumbling payola and the sail happens. sent7: the tweezing Tallahassee happens. sent8: that both the absentness and the disreputableness happens prevents that the pollution happens. sent9: that the absentness occurs and the disreputableness occurs prevents that the pollution does not occur. sent10: that the backhandness happens and the disenfranchisement happens leads to that the tweezing death occurs. sent11: the flashing happens. sent12: that the pollution occurs leads to that the disreputableness happens. sent13: the tweezing Branchiostegidae does not occur. sent14: if the flashing happens then the absentness happens.
void -> assump2: Let's assume that the pollution occurs.; sent14 & sent11 -> int1: the absentness happens.; void -> assump1: Let's assume that the disreputableness happens.; int1 & assump1 -> int2: both the absentness and the disreputableness happens.; sent8 & int2 -> int3: the pollution does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the disreputableness does not occur is not false.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that if the pollution happens the disreputableness does not occur is not right. ; $context$ = sent1: the vulnerableness occurs. sent2: the tectonicsness does not occur if the crosscheck occurs. sent3: the fact that if that the Ford occurs is true the tide does not occur is correct. sent4: the fact that the crumbling doom happens is correct. sent5: the Slavonicness does not occur. sent6: that the affinity happens is brought about by that both the crumbling payola and the sail happens. sent7: the tweezing Tallahassee happens. sent8: that both the absentness and the disreputableness happens prevents that the pollution happens. sent9: that the absentness occurs and the disreputableness occurs prevents that the pollution does not occur. sent10: that the backhandness happens and the disenfranchisement happens leads to that the tweezing death occurs. sent11: the flashing happens. sent12: that the pollution occurs leads to that the disreputableness happens. sent13: the tweezing Branchiostegidae does not occur. sent14: if the flashing happens then the absentness happens. ; $proof$ = 
void -> assump2: Let's assume that the pollution occurs.; sent14 & sent11 -> int1: the absentness happens.; void -> assump1: Let's assume that the disreputableness happens.; int1 & assump1 -> int2: both the absentness and the disreputableness happens.; sent8 & int2 -> int3: the pollution does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the disreputableness does not occur is not false.; [assump2] & int5 -> hypothesis; __DISPROVED__