the mandibulofacialness occurs.
sent1: that not the promoting but the stigmatizing manhunt occurs does not hold. sent2: that the stigmatizing groping does not occur yields that the perfection does not occur. sent3: the mandibulofacialness does not occur and the promoting does not occur if the stigmatizing manhunt does not occur. sent4: the derailing proxy does not occur if that the derailing proxy happens and the counterespionage does not occur is not right. sent5: if the repetition does not occur and the quarter occurs then the operableness occurs. sent6: if the repetition does not occur the fact that the realigning occurs and the quartering occurs is not true. sent7: if the agriculturalness does not occur the washup does not occur and the stigmatizing groping does not occur. sent8: the operableness does not occur and/or the phrasalness does not occur if the derailing proxy does not occur. sent9: the repetition does not occur and the quartering does not occur if the fact that the realigning does not occur is correct. sent10: that the derailing proxy but not the counterespionage occurs is false if the stigmatizing demijohn occurs. sent11: the stigmatizing demijohn and the excising spillage happens if the perfection does not occur. sent12: if the operableness occurs then the phrasalness occurs. sent13: the promoting happens. sent14: the Odyssey yields the non-agriculturalness. sent15: the quartering does not occur. sent16: if the fact that the promoting does not occur and the stigmatizing manhunt does not occur is not correct the realigning does not occur. sent17: if the repetitiveness does not occur then the suspending does not occur. sent18: the operableness occurs if the repetition does not occur and the quartering does not occur. sent19: that the realigning does not occur prevents that the quartering occurs. sent20: the fact that the promoting happens and the stigmatizing manhunt does not occur is wrong.
void -> assump1: Let's assume that the promoting does not occur and the stigmatizing manhunt does not occur.; assump1 -> int1: that the promoting does not occur hold.; sent13 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the promoting does not occur and the stigmatizing manhunt does not occur does not hold.; sent16 & int3 -> int4: the realigning does not occur.; sent9 & int4 -> int5: the repetition does not occur and the quarter does not occur.; sent18 & int5 -> int6: the operableness happens.; sent12 & int6 -> int7: the phrasalness occurs.;
the fact that the mandibulofacialness does not occur is not wrong.
$hypothesis$ = the mandibulofacialness occurs. ; $context$ = sent1: that not the promoting but the stigmatizing manhunt occurs does not hold. sent2: that the stigmatizing groping does not occur yields that the perfection does not occur. sent3: the mandibulofacialness does not occur and the promoting does not occur if the stigmatizing manhunt does not occur. sent4: the derailing proxy does not occur if that the derailing proxy happens and the counterespionage does not occur is not right. sent5: if the repetition does not occur and the quarter occurs then the operableness occurs. sent6: if the repetition does not occur the fact that the realigning occurs and the quartering occurs is not true. sent7: if the agriculturalness does not occur the washup does not occur and the stigmatizing groping does not occur. sent8: the operableness does not occur and/or the phrasalness does not occur if the derailing proxy does not occur. sent9: the repetition does not occur and the quartering does not occur if the fact that the realigning does not occur is correct. sent10: that the derailing proxy but not the counterespionage occurs is false if the stigmatizing demijohn occurs. sent11: the stigmatizing demijohn and the excising spillage happens if the perfection does not occur. sent12: if the operableness occurs then the phrasalness occurs. sent13: the promoting happens. sent14: the Odyssey yields the non-agriculturalness. sent15: the quartering does not occur. sent16: if the fact that the promoting does not occur and the stigmatizing manhunt does not occur is not correct the realigning does not occur. sent17: if the repetitiveness does not occur then the suspending does not occur. sent18: the operableness occurs if the repetition does not occur and the quartering does not occur. sent19: that the realigning does not occur prevents that the quartering occurs. sent20: the fact that the promoting happens and the stigmatizing manhunt does not occur is wrong. ; $proof$ = 
void -> assump1: Let's assume that the promoting does not occur and the stigmatizing manhunt does not occur.; assump1 -> int1: that the promoting does not occur hold.; sent13 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the promoting does not occur and the stigmatizing manhunt does not occur does not hold.; sent16 & int3 -> int4: the realigning does not occur.; sent9 & int4 -> int5: the repetition does not occur and the quarter does not occur.; sent18 & int5 -> int6: the operableness happens.; sent12 & int6 -> int7: the phrasalness occurs.; __UNKNOWN__