the hashing minion does not occur.
sent1: if the electroshock occurs then the confederating put-down does not occur. sent2: that both the hurry and the hashing minion happens is triggered by the intestateness. sent3: the fact that the drafting does not occur and the hashing cantaloupe does not occur is wrong if the groove does not occur. sent4: that the confederating wedge occurs is not wrong. sent5: the opposing Eden does not occur. sent6: if the fact that the confederating wedge happens is true the newsness happens. sent7: if the stretching does not occur the fact that the hashing tuille does not occur and the confederating amaretto does not occur is not true. sent8: if the costiveness does not occur then that not the hashing endoderm but the Exodus occurs does not hold. sent9: if the backgammon happens and/or the nonconformity does not occur then the stretching does not occur. sent10: the non-testateness is triggered by that the newsness happens and the backgammon happens. sent11: the fact that the lash but not the beautifulness occurs is not right if the hashing demodulation does not occur. sent12: the testateness happens. sent13: the hashing minion does not occur if that the hashing tuille does not occur and the confederating amaretto does not occur is not correct. sent14: the intestateness brings about that not the according bop but the hurry occurs. sent15: the ceramics does not occur. sent16: the newsness does not occur if both the hurry and the testateness happens.
void -> assump1: Let's assume that the hurry happens.; assump1 & sent12 -> int1: the hurry occurs and the testateness occurs.; int1 & sent16 -> int2: the newsness does not occur.; sent6 & sent4 -> int3: the fact that the newsness occurs is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hurry does not occur.;
the hashing minion happens.
$hypothesis$ = the hashing minion does not occur. ; $context$ = sent1: if the electroshock occurs then the confederating put-down does not occur. sent2: that both the hurry and the hashing minion happens is triggered by the intestateness. sent3: the fact that the drafting does not occur and the hashing cantaloupe does not occur is wrong if the groove does not occur. sent4: that the confederating wedge occurs is not wrong. sent5: the opposing Eden does not occur. sent6: if the fact that the confederating wedge happens is true the newsness happens. sent7: if the stretching does not occur the fact that the hashing tuille does not occur and the confederating amaretto does not occur is not true. sent8: if the costiveness does not occur then that not the hashing endoderm but the Exodus occurs does not hold. sent9: if the backgammon happens and/or the nonconformity does not occur then the stretching does not occur. sent10: the non-testateness is triggered by that the newsness happens and the backgammon happens. sent11: the fact that the lash but not the beautifulness occurs is not right if the hashing demodulation does not occur. sent12: the testateness happens. sent13: the hashing minion does not occur if that the hashing tuille does not occur and the confederating amaretto does not occur is not correct. sent14: the intestateness brings about that not the according bop but the hurry occurs. sent15: the ceramics does not occur. sent16: the newsness does not occur if both the hurry and the testateness happens. ; $proof$ = 
void -> assump1: Let's assume that the hurry happens.; assump1 & sent12 -> int1: the hurry occurs and the testateness occurs.; int1 & sent16 -> int2: the newsness does not occur.; sent6 & sent4 -> int3: the fact that the newsness occurs is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hurry does not occur.; __UNKNOWN__