the fact that if that the unbending Zealander occurs is not false the landslide does not occur is wrong.
sent1: the unbending Zealander is brought about by that the landslide occurs and the teasing wassailer happens. sent2: the fact that the tastefulness does not occur is not false. sent3: that the approving does not occur is brought about by that the vertebralness occurs. sent4: if the hospice does not occur then the unsatisfactoriness and the noncompetitiveness occurs. sent5: that the unsatisfactoriness happens leads to that the teasing wassailer does not occur and the unbending Zealander does not occur. sent6: that the teasing wassailer does not occur and/or that the landslide occurs prevents that the percolation happens. sent7: that the reflux occurs brings about that the unbending Lordship does not occur. sent8: if the teasing nine-spot occurs the teasing shegetz does not occur. sent9: the affirmative happens. sent10: if the teasing wassailer does not occur both the landslide and the teasing Psittacus happens. sent11: the unbending Zealander does not occur if the landslide happens and the teasing wassailer happens. sent12: the principalship does not occur. sent13: the fact that the physiotherapy occurs is true. sent14: the flaking occurs. sent15: the Eucharist happens. sent16: the teasing wassailer occurs. sent17: that the landslide happens is triggered by the unbending Zealander.
void -> assump2: Let's assume that the unbending Zealander happens.; void -> assump1: Let's assume that the landslide occurs.; assump1 & sent16 -> int1: the landslide and the teasing wassailer happens.; sent11 & int1 -> int2: the unbending Zealander does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the landslide does not occur.; [assump2] & int4 -> hypothesis;
the percolation does not occur.
$hypothesis$ = the fact that if that the unbending Zealander occurs is not false the landslide does not occur is wrong. ; $context$ = sent1: the unbending Zealander is brought about by that the landslide occurs and the teasing wassailer happens. sent2: the fact that the tastefulness does not occur is not false. sent3: that the approving does not occur is brought about by that the vertebralness occurs. sent4: if the hospice does not occur then the unsatisfactoriness and the noncompetitiveness occurs. sent5: that the unsatisfactoriness happens leads to that the teasing wassailer does not occur and the unbending Zealander does not occur. sent6: that the teasing wassailer does not occur and/or that the landslide occurs prevents that the percolation happens. sent7: that the reflux occurs brings about that the unbending Lordship does not occur. sent8: if the teasing nine-spot occurs the teasing shegetz does not occur. sent9: the affirmative happens. sent10: if the teasing wassailer does not occur both the landslide and the teasing Psittacus happens. sent11: the unbending Zealander does not occur if the landslide happens and the teasing wassailer happens. sent12: the principalship does not occur. sent13: the fact that the physiotherapy occurs is true. sent14: the flaking occurs. sent15: the Eucharist happens. sent16: the teasing wassailer occurs. sent17: that the landslide happens is triggered by the unbending Zealander. ; $proof$ = 
void -> assump2: Let's assume that the unbending Zealander happens.; void -> assump1: Let's assume that the landslide occurs.; assump1 & sent16 -> int1: the landslide and the teasing wassailer happens.; sent11 & int1 -> int2: the unbending Zealander does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the landslide does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__