if the consumptive happens then the homocercalness happens but the drink does not occur.
sent1: the sarcasticness occurs. sent2: the homocercalness happens if the minorsness happens. sent3: the homocercalness happens if that the cluing Norlestrin happens and the minorsness does not occur is false. sent4: the fact that the cluing Norlestrin and the minorsness happens does not hold. sent5: the fact that the hyperventilating occurs is true. sent6: the humanness happens and the squatting Vanern does not occur if the Marxistness occurs. sent7: if the hyperventilating occurs then the fact that the cluing Norlestrin and the non-minorsness occurs is not right. sent8: the anionicness happens. sent9: the market but not the cluing Burnett happens if the nudge occurs. sent10: that the consumptiveness occurs is prevented by that both the anionic and the confession happens. sent11: if both the anionic and the confession happens then the consumptive happens. sent12: if the hyperventilating occurs then the fact that the cluing Norlestrin occurs and the minorsness happens is false. sent13: the cluing lightlessness happens. sent14: the fact that the passing happens is not false. sent15: the humanness occurs. sent16: the one-and-one does not occur.
void -> assump1: Let's assume that the confession occurs.; sent8 & assump1 -> int1: both the anionicness and the confession occurs.; int1 & sent10 -> int2: the consumptive does not occur.; void -> assump2: Let's assume that the consumptive occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the confession does not occur.; sent7 & sent5 -> int5: the fact that the cluing Norlestrin and the non-minorsness happens is incorrect.; sent3 & int5 -> int6: the homocercalness happens.;
$hypothesis$ = if the consumptive happens then the homocercalness happens but the drink does not occur. ; $context$ = sent1: the sarcasticness occurs. sent2: the homocercalness happens if the minorsness happens. sent3: the homocercalness happens if that the cluing Norlestrin happens and the minorsness does not occur is false. sent4: the fact that the cluing Norlestrin and the minorsness happens does not hold. sent5: the fact that the hyperventilating occurs is true. sent6: the humanness happens and the squatting Vanern does not occur if the Marxistness occurs. sent7: if the hyperventilating occurs then the fact that the cluing Norlestrin and the non-minorsness occurs is not right. sent8: the anionicness happens. sent9: the market but not the cluing Burnett happens if the nudge occurs. sent10: that the consumptiveness occurs is prevented by that both the anionic and the confession happens. sent11: if both the anionic and the confession happens then the consumptive happens. sent12: if the hyperventilating occurs then the fact that the cluing Norlestrin occurs and the minorsness happens is false. sent13: the cluing lightlessness happens. sent14: the fact that the passing happens is not false. sent15: the humanness occurs. sent16: the one-and-one does not occur. ; $proof$ = 
void -> assump1: Let's assume that the confession occurs.; sent8 & assump1 -> int1: both the anionicness and the confession occurs.; int1 & sent10 -> int2: the consumptive does not occur.; void -> assump2: Let's assume that the consumptive occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the confession does not occur.; sent7 & sent5 -> int5: the fact that the cluing Norlestrin and the non-minorsness happens is incorrect.; sent3 & int5 -> int6: the homocercalness happens.; __UNKNOWN__