the avionicsness occurs.
sent1: the atmosphericness happens. sent2: the avionicsness does not occur if the smoke does not occur or the deploring Shawn does not occur or both. sent3: if the fact that not the formula but the excretoriness happens does not hold then the formula occurs. sent4: if that the fact that the finerness occurs but the circumstance does not occur is not true is right the aroidness happens. sent5: that the fact that the cheat does not occur but the offness occurs is not wrong is not true if the persona does not occur. sent6: that the osteopathy occurs is brought about by that the adjuration does not occur and the atmosphericness does not occur. sent7: that the finerness occurs but the circumstance does not occur is wrong if the deploring Shawn does not occur. sent8: that the finerness does not occur and the circumstance does not occur is not correct if the fact that the aroidness does not occur hold. sent9: the recombination does not occur. sent10: the persona does not occur if that the interjecting and the persona happens is not right. sent11: if the smoking happens then the avionicsness occurs. sent12: that the formula occurs yields that both the impairing meclofenamate and the non-forteness occurs. sent13: the offness does not occur if the fact that not the cheat but the offness occurs does not hold. sent14: the psycholinguisticsness happens. sent15: the adjuration does not occur and the atmosphericness does not occur if the hexadecimalness does not occur. sent16: if the recombination does not occur then that the interjecting happens and the persona occurs does not hold. sent17: the sculling does not occur if the fact that the boxing alpinist does not occur but the Arawakanness occurs is not right. sent18: if the fact that the fact that both the curtainedness and the osteopathy occurs is wrong is not false the fact that the anathematization does not occur hold. sent19: if the osteopathy occurs then that the curtainlessness but not the anathematization occurs does not hold. sent20: the hexadecimalness does not occur if not the offness but the impairing meclofenamate happens. sent21: that both the curtainedness and the osteopathy occurs is incorrect if that the atmosphericness occurs hold. sent22: the phalloplasty occurs if that the fact that the impairing vessel happens and the tug-of-war does not occur hold is not true. sent23: if the aroidness happens the anathematization happens.
void -> assump1: Let's assume that the smoke does not occur and the deploring Shawn does not occur.; assump1 -> int1: the deploring Shawn does not occur.; int1 & sent7 -> int2: the fact that the finerness happens but the circumstance does not occur is wrong.; int2 & sent4 -> int3: the fact that the aroidness happens is correct.; int3 & sent23 -> int4: the anathematization occurs.; sent21 & sent1 -> int5: the fact that both the non-curtainlessness and the osteopathy happens is incorrect.; sent18 & int5 -> int6: the anathematization does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the smoking does not occur and the deploring Shawn does not occur is incorrect.;
the avionicsness does not occur.
sent16 & sent9 -> int9: the fact that the interjecting and the persona occurs is false.; sent10 & int9 -> int10: the persona does not occur.; sent5 & int10 -> int11: that the cheating does not occur and the offness happens is not right.; sent13 & int11 -> int12: the offness does not occur.;
$hypothesis$ = the avionicsness occurs. ; $context$ = sent1: the atmosphericness happens. sent2: the avionicsness does not occur if the smoke does not occur or the deploring Shawn does not occur or both. sent3: if the fact that not the formula but the excretoriness happens does not hold then the formula occurs. sent4: if that the fact that the finerness occurs but the circumstance does not occur is not true is right the aroidness happens. sent5: that the fact that the cheat does not occur but the offness occurs is not wrong is not true if the persona does not occur. sent6: that the osteopathy occurs is brought about by that the adjuration does not occur and the atmosphericness does not occur. sent7: that the finerness occurs but the circumstance does not occur is wrong if the deploring Shawn does not occur. sent8: that the finerness does not occur and the circumstance does not occur is not correct if the fact that the aroidness does not occur hold. sent9: the recombination does not occur. sent10: the persona does not occur if that the interjecting and the persona happens is not right. sent11: if the smoking happens then the avionicsness occurs. sent12: that the formula occurs yields that both the impairing meclofenamate and the non-forteness occurs. sent13: the offness does not occur if the fact that not the cheat but the offness occurs does not hold. sent14: the psycholinguisticsness happens. sent15: the adjuration does not occur and the atmosphericness does not occur if the hexadecimalness does not occur. sent16: if the recombination does not occur then that the interjecting happens and the persona occurs does not hold. sent17: the sculling does not occur if the fact that the boxing alpinist does not occur but the Arawakanness occurs is not right. sent18: if the fact that the fact that both the curtainedness and the osteopathy occurs is wrong is not false the fact that the anathematization does not occur hold. sent19: if the osteopathy occurs then that the curtainlessness but not the anathematization occurs does not hold. sent20: the hexadecimalness does not occur if not the offness but the impairing meclofenamate happens. sent21: that both the curtainedness and the osteopathy occurs is incorrect if that the atmosphericness occurs hold. sent22: the phalloplasty occurs if that the fact that the impairing vessel happens and the tug-of-war does not occur hold is not true. sent23: if the aroidness happens the anathematization happens. ; $proof$ = 
void -> assump1: Let's assume that the smoke does not occur and the deploring Shawn does not occur.; assump1 -> int1: the deploring Shawn does not occur.; int1 & sent7 -> int2: the fact that the finerness happens but the circumstance does not occur is wrong.; int2 & sent4 -> int3: the fact that the aroidness happens is correct.; int3 & sent23 -> int4: the anathematization occurs.; sent21 & sent1 -> int5: the fact that both the non-curtainlessness and the osteopathy happens is incorrect.; sent18 & int5 -> int6: the anathematization does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the smoking does not occur and the deploring Shawn does not occur is incorrect.; __UNKNOWN__