the turbinateness occurs if the Constitution happens.
sent1: the chancing surfperch does not occur. sent2: the snorkeling happens. sent3: the extermination happens. sent4: the gig happens. sent5: the non-Bahainess is prevented by that the Zoroastrian happens. sent6: if the fact that the cretaceousness occurs is not incorrect then the chancing bleu occurs. sent7: if the dumping happens and the measure does not occur then the militainment occurs. sent8: the exploding does not occur. sent9: the Turkmenness does not occur. sent10: the incursion occurs but the wildfire does not occur. sent11: the Zoroastrianness is caused by that both the incursion and the wildfire happens. sent12: if both the rappeling and the photochemicalness happens the scandalization does not occur. sent13: that the Constitution occurs is prevented by that both the non-turbinateness and the Bahai occurs. sent14: the intrauterineness does not occur if that the beating does not occur and the paging Coleoptera occurs hold. sent15: if the incursion happens and the wildfire does not occur the Zoroastrianness happens. sent16: the fact that the blinding does not occur is correct. sent17: not the servileness but the protest happens. sent18: the squeaker happens.
void -> assump2: Let's assume that that the Constitution happens is not incorrect.; void -> assump1: Let's assume that the turbinateness does not occur.; sent15 & sent10 -> int1: the Zoroastrianness happens.; sent5 & int1 -> int2: the Bahai happens.; assump1 & int2 -> int3: that the non-turbinateness and the Bahainess occurs is not wrong.; sent13 & int3 -> int4: the Constitution does not occur.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the turbinate occurs is correct.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the turbinateness occurs if the Constitution happens. ; $context$ = sent1: the chancing surfperch does not occur. sent2: the snorkeling happens. sent3: the extermination happens. sent4: the gig happens. sent5: the non-Bahainess is prevented by that the Zoroastrian happens. sent6: if the fact that the cretaceousness occurs is not incorrect then the chancing bleu occurs. sent7: if the dumping happens and the measure does not occur then the militainment occurs. sent8: the exploding does not occur. sent9: the Turkmenness does not occur. sent10: the incursion occurs but the wildfire does not occur. sent11: the Zoroastrianness is caused by that both the incursion and the wildfire happens. sent12: if both the rappeling and the photochemicalness happens the scandalization does not occur. sent13: that the Constitution occurs is prevented by that both the non-turbinateness and the Bahai occurs. sent14: the intrauterineness does not occur if that the beating does not occur and the paging Coleoptera occurs hold. sent15: if the incursion happens and the wildfire does not occur the Zoroastrianness happens. sent16: the fact that the blinding does not occur is correct. sent17: not the servileness but the protest happens. sent18: the squeaker happens. ; $proof$ = 
void -> assump2: Let's assume that that the Constitution happens is not incorrect.; void -> assump1: Let's assume that the turbinateness does not occur.; sent15 & sent10 -> int1: the Zoroastrianness happens.; sent5 & int1 -> int2: the Bahai happens.; assump1 & int2 -> int3: that the non-turbinateness and the Bahainess occurs is not wrong.; sent13 & int3 -> int4: the Constitution does not occur.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the turbinate occurs is correct.; [assump2] & int6 -> hypothesis; __PROVED__