the fact that both the keratoscopy and the non-unidirectionalness happens is false if the tying occurs.
sent1: that the cholangiography but not the measuring penny happens is caused by the acrogenicness. sent2: if the plagioclasticness occurs the unloading but not the rope happens. sent3: if the Burmeseness occurs then the fact that the remonstrating Mama but not the syllogizing Rhinolophidae occurs does not hold. sent4: the fact that if the fact that the dislodging does not occur and the syllogizing backpacker occurs does not hold the papering does not occur is not incorrect. sent5: the underlying occurs but the remonstrating dogging does not occur. sent6: the fact that that the Ephesians happens and the testamentariness does not occur is not incorrect is false. sent7: the fact that the deforestation occurs and the measuring denticle does not occur is wrong if the measuring selectman happens. sent8: that the syllogizing nursed does not occur but the bisexual occurs does not hold if the unidirectionalness does not occur. sent9: that the valvotomy but not the remonstrating camcorder occurs is triggered by the syllogizing fact. sent10: the fact that both the syllogizing quickest and the blazing happens does not hold if the Rastafarian occurs. sent11: the remonstrating neutralism but not the stenography happens. sent12: if that the stoppering does not occur but the countercurrent occurs does not hold the intrusiveness does not occur. sent13: if the zygomorphicness occurs then that the measuring dehydration happens and the foundering occurs is not correct. sent14: that not the replaying but the pushover happens does not hold. sent15: the fact that the fact that the thrum and the solanaceousness happens is not wrong is not right. sent16: that the micrometeoricness and the preemption happens is wrong if the ballisticness does not occur. sent17: if the fact that both the non-diatomicness and the remonstrating thermometer occurs does not hold the cementitiousness does not occur. sent18: if the measuring Vanellus happens then the extrasensoriness happens but the remonstrating televangelist does not occur. sent19: the tie does not occur if that not the syllogizing nursed but the bisexualness occurs is wrong. sent20: the fact that the measuring Silverstein occurs and the nonenzymaticness occurs does not hold.
void -> assump1: Let's assume that the fact that the tying happens hold.; void -> assump2: Let's assume that both the keratoscopy and the non-unidirectionalness occurs.; assump2 -> int1: the unidirectionalness does not occur.; sent8 & int1 -> int2: the fact that not the syllogizing nursed but the bisexual happens is not true.; sent19 & int2 -> int3: the tying does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that both the keratoscopy and the non-unidirectionalness occurs is false.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that both the keratoscopy and the non-unidirectionalness happens is false if the tying occurs. ; $context$ = sent1: that the cholangiography but not the measuring penny happens is caused by the acrogenicness. sent2: if the plagioclasticness occurs the unloading but not the rope happens. sent3: if the Burmeseness occurs then the fact that the remonstrating Mama but not the syllogizing Rhinolophidae occurs does not hold. sent4: the fact that if the fact that the dislodging does not occur and the syllogizing backpacker occurs does not hold the papering does not occur is not incorrect. sent5: the underlying occurs but the remonstrating dogging does not occur. sent6: the fact that that the Ephesians happens and the testamentariness does not occur is not incorrect is false. sent7: the fact that the deforestation occurs and the measuring denticle does not occur is wrong if the measuring selectman happens. sent8: that the syllogizing nursed does not occur but the bisexual occurs does not hold if the unidirectionalness does not occur. sent9: that the valvotomy but not the remonstrating camcorder occurs is triggered by the syllogizing fact. sent10: the fact that both the syllogizing quickest and the blazing happens does not hold if the Rastafarian occurs. sent11: the remonstrating neutralism but not the stenography happens. sent12: if that the stoppering does not occur but the countercurrent occurs does not hold the intrusiveness does not occur. sent13: if the zygomorphicness occurs then that the measuring dehydration happens and the foundering occurs is not correct. sent14: that not the replaying but the pushover happens does not hold. sent15: the fact that the fact that the thrum and the solanaceousness happens is not wrong is not right. sent16: that the micrometeoricness and the preemption happens is wrong if the ballisticness does not occur. sent17: if the fact that both the non-diatomicness and the remonstrating thermometer occurs does not hold the cementitiousness does not occur. sent18: if the measuring Vanellus happens then the extrasensoriness happens but the remonstrating televangelist does not occur. sent19: the tie does not occur if that not the syllogizing nursed but the bisexualness occurs is wrong. sent20: the fact that the measuring Silverstein occurs and the nonenzymaticness occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tying happens hold.; void -> assump2: Let's assume that both the keratoscopy and the non-unidirectionalness occurs.; assump2 -> int1: the unidirectionalness does not occur.; sent8 & int1 -> int2: the fact that not the syllogizing nursed but the bisexual happens is not true.; sent19 & int2 -> int3: the tying does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that both the keratoscopy and the non-unidirectionalness occurs is false.; [assump1] & int5 -> hypothesis; __PROVED__