that if the fact that the crooking haulm does not occur and the nodding rupee happens does not hold the nodding gloss does not occur is false.
sent1: if that the nocturnalness does not occur and the nodding commerce happens does not hold the acoustics does not occur. sent2: the fact that not the presocraticness but the ding happens is incorrect. sent3: not the crooking haulm but the nodding rupee happens if the nodding gloss occurs. sent4: the air does not occur and the meowing happens. sent5: if that the crooking tourism does not occur and the ECCM happens is false the compression does not occur. sent6: the nodding gloss does not occur if the crooking haulm occurs. sent7: that the canceling titania and the mastership happens is not right. sent8: that the French occurs and the canceling taxidriver occurs does not hold. sent9: the nodding gloss does not occur if the crooking haulm does not occur but the nodding rupee happens. sent10: the summeriness happens. sent11: the nodding commerce does not occur but the charity happens. sent12: that the CABG happens and the canceling weatherstrip happens is not right. sent13: the beggary occurs. sent14: if the Mycenaeanness occurs that the unprofitableness does not occur hold.
void -> assump2: Let's assume that the nodding gloss happens.; sent3 & assump2 -> int1: not the crooking haulm but the nodding rupee happens.; void -> assump1: Let's assume that the fact that not the crooking haulm but the nodding rupee happens is not correct.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the nodding gloss does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the fact that the crooking haulm does not occur and the nodding rupee happens does not hold the nodding gloss does not occur is false. ; $context$ = sent1: if that the nocturnalness does not occur and the nodding commerce happens does not hold the acoustics does not occur. sent2: the fact that not the presocraticness but the ding happens is incorrect. sent3: not the crooking haulm but the nodding rupee happens if the nodding gloss occurs. sent4: the air does not occur and the meowing happens. sent5: if that the crooking tourism does not occur and the ECCM happens is false the compression does not occur. sent6: the nodding gloss does not occur if the crooking haulm occurs. sent7: that the canceling titania and the mastership happens is not right. sent8: that the French occurs and the canceling taxidriver occurs does not hold. sent9: the nodding gloss does not occur if the crooking haulm does not occur but the nodding rupee happens. sent10: the summeriness happens. sent11: the nodding commerce does not occur but the charity happens. sent12: that the CABG happens and the canceling weatherstrip happens is not right. sent13: the beggary occurs. sent14: if the Mycenaeanness occurs that the unprofitableness does not occur hold. ; $proof$ = 
void -> assump2: Let's assume that the nodding gloss happens.; sent3 & assump2 -> int1: not the crooking haulm but the nodding rupee happens.; void -> assump1: Let's assume that the fact that not the crooking haulm but the nodding rupee happens is not correct.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the nodding gloss does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__