both the non-point-of-saleness and the non-adventitialness happens if the anestrousness happens.
sent1: the bluffing happens. sent2: the adventitialness does not occur if both the bluffing and the agriculturalness occurs. sent3: the questioning occurs if the calorimetricness occurs. sent4: the fact that the bimillenialness does not occur but the precipitating happens is wrong. sent5: if the anticlimacticness does not occur then the bluffing happens. sent6: that the silencing airstream happens is right. sent7: the bluffing and the agriculturalness occurs if the anticlimacticness does not occur. sent8: if the anestrousness happens then the calorimetricness happens. sent9: if that the fact that the bimillenialness does not occur and the precipitating does not occur is incorrect is right then the precipitating happens. sent10: either the bocce occurs or the poll does not occur or both. sent11: the bocce triggers that the anticlimacticness does not occur. sent12: the armlessness occurs and/or the hyphenation does not occur. sent13: the fact that not the breakfasting but the monetization happens does not hold if the biauricularness does not occur. sent14: that the non-bimillenialness and the precipitate occurs is incorrect if the management does not occur. sent15: the fact that the con occurs is correct if the avifaunalness occurs. sent16: the buyout happens if the indecorum happens. sent17: if the bocce happens or the poll does not occur or both then the anticlimacticness does not occur. sent18: if the management does not occur then that the bimillenialness does not occur and the precipitate does not occur is not true. sent19: the point-of-saleness does not occur if that the question happens and the precipitate happens is not false.
void -> assump1: Let's assume that the anestrousness happens.; sent8 & assump1 -> int1: the calorimetricness occurs.; int1 & sent3 -> int2: the question happens.; sent17 & sent10 -> int3: that the anticlimacticness does not occur is not false.; sent7 & int3 -> int4: both the bluffing and the agriculturalness happens.; sent2 & int4 -> int5: the fact that the adventitialness does not occur is right.;
$hypothesis$ = both the non-point-of-saleness and the non-adventitialness happens if the anestrousness happens. ; $context$ = sent1: the bluffing happens. sent2: the adventitialness does not occur if both the bluffing and the agriculturalness occurs. sent3: the questioning occurs if the calorimetricness occurs. sent4: the fact that the bimillenialness does not occur but the precipitating happens is wrong. sent5: if the anticlimacticness does not occur then the bluffing happens. sent6: that the silencing airstream happens is right. sent7: the bluffing and the agriculturalness occurs if the anticlimacticness does not occur. sent8: if the anestrousness happens then the calorimetricness happens. sent9: if that the fact that the bimillenialness does not occur and the precipitating does not occur is incorrect is right then the precipitating happens. sent10: either the bocce occurs or the poll does not occur or both. sent11: the bocce triggers that the anticlimacticness does not occur. sent12: the armlessness occurs and/or the hyphenation does not occur. sent13: the fact that not the breakfasting but the monetization happens does not hold if the biauricularness does not occur. sent14: that the non-bimillenialness and the precipitate occurs is incorrect if the management does not occur. sent15: the fact that the con occurs is correct if the avifaunalness occurs. sent16: the buyout happens if the indecorum happens. sent17: if the bocce happens or the poll does not occur or both then the anticlimacticness does not occur. sent18: if the management does not occur then that the bimillenialness does not occur and the precipitate does not occur is not true. sent19: the point-of-saleness does not occur if that the question happens and the precipitate happens is not false. ; $proof$ = 
void -> assump1: Let's assume that the anestrousness happens.; sent8 & assump1 -> int1: the calorimetricness occurs.; int1 & sent3 -> int2: the question happens.; sent17 & sent10 -> int3: that the anticlimacticness does not occur is not false.; sent7 & int3 -> int4: both the bluffing and the agriculturalness happens.; sent2 & int4 -> int5: the fact that the adventitialness does not occur is right.; __UNKNOWN__