that the miscue does not occur yields that the make-believe does not occur.
sent1: the stabbing hoatzin does not occur. sent2: either the prostateness occurs or the anopheline happens or both. sent3: the patricide does not occur if the retrofitting occurs. sent4: the ulcerating does not occur and the intersecting does not occur. sent5: that the keystroke does not occur is triggered by that the poorness does not occur and the nonclassicalness does not occur. sent6: the naturisticness does not occur if the corroding does not occur. sent7: the fact that the make-believe occurs is not false if the miscue does not occur. sent8: the make-believe occurs. sent9: the retrofit and/or that the condemning causeway occurs brings about that the patricide does not occur. sent10: the condemning cheapskate happens. sent11: the shelflikeness does not occur. sent12: that the miscue does not occur and the condemning causeway does not occur results in that the make-believe occurs. sent13: if the corroding occurs and the compliantness does not occur then the gilding distrust does not occur. sent14: the disappointment does not occur. sent15: the patricide happens but the shelflikeness does not occur.
void -> assump2: Let's assume that the condemning causeway occurs.; assump2 -> int1: either the retrofit happens or the condemning causeway occurs or both.; int1 & sent9 -> int2: the patricide does not occur.; sent15 -> int3: the patricide occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the condemning causeway does not occur.; void -> assump1: Let's assume that the miscue does not occur.; int5 & assump1 -> int6: the miscue does not occur and the condemning causeway does not occur.;
$hypothesis$ = that the miscue does not occur yields that the make-believe does not occur. ; $context$ = sent1: the stabbing hoatzin does not occur. sent2: either the prostateness occurs or the anopheline happens or both. sent3: the patricide does not occur if the retrofitting occurs. sent4: the ulcerating does not occur and the intersecting does not occur. sent5: that the keystroke does not occur is triggered by that the poorness does not occur and the nonclassicalness does not occur. sent6: the naturisticness does not occur if the corroding does not occur. sent7: the fact that the make-believe occurs is not false if the miscue does not occur. sent8: the make-believe occurs. sent9: the retrofit and/or that the condemning causeway occurs brings about that the patricide does not occur. sent10: the condemning cheapskate happens. sent11: the shelflikeness does not occur. sent12: that the miscue does not occur and the condemning causeway does not occur results in that the make-believe occurs. sent13: if the corroding occurs and the compliantness does not occur then the gilding distrust does not occur. sent14: the disappointment does not occur. sent15: the patricide happens but the shelflikeness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the condemning causeway occurs.; assump2 -> int1: either the retrofit happens or the condemning causeway occurs or both.; int1 & sent9 -> int2: the patricide does not occur.; sent15 -> int3: the patricide occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the condemning causeway does not occur.; void -> assump1: Let's assume that the miscue does not occur.; int5 & assump1 -> int6: the miscue does not occur and the condemning causeway does not occur.; __UNKNOWN__