that the grounder does not occur and the etiolation does not occur is triggered by the redistribution.
sent1: that the impasto occurs and the grounder happens is not correct. sent2: that the situation occurs and the irreversibleness occurs is not true. sent3: if that both the non-maxillomandibularness and the safe occurs is not right then the preprandialness occurs. sent4: that the lacing deep occurs hold. sent5: the Job does not occur and the immersing does not occur. sent6: the descrying upcast occurs and the jogging does not occur. sent7: that the whistling does not occur and the blindness does not occur is not correct. sent8: if the fact that the Cockney does not occur but the shaming happens is false then the playback happens. sent9: the fact that not the exposure but the bibliolatry happens is not correct. sent10: the orthopticsness does not occur and the gift does not occur. sent11: if that the whistle does not occur and the blinding does not occur does not hold then the Ephesian occurs. sent12: the genitalness occurs. sent13: the fact that the lamination and the novation occurs is not correct. sent14: if that the voyaging does not occur but the developing occurs is not right the regicide occurs. sent15: the fact that not the Cockneiness but the shame happens is not correct. sent16: the decompression occurs. sent17: that the Ephesianness does not occur is triggered by that the playback and the hysterotomy occurs. sent18: if the fact that the atmosphere does not occur and the defervescentness does not occur is not right then the descrying anathema happens. sent19: if the fact that that both the impasto and the grounder happens is not right is right then the grounder does not occur. sent20: the czaristness happens. sent21: the attaching occurs.
sent8 & sent15 -> int1: the playback happens.; void -> assump2: Let's assume that that the hysterotomy happens is not incorrect.; int1 & assump2 -> int2: the playback occurs and the hysterotomy happens.; int2 & sent17 -> int3: that the Ephesian does not occur is true.; sent11 & sent7 -> int4: the Ephesianness occurs.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the hysterotomy does not occur.; void -> assump1: Let's assume that the redistribution happens.; int6 & assump1 -> int7: the redistribution but not the hysterotomy occurs.; sent19 & sent1 -> int8: the grounder does not occur.;
$hypothesis$ = that the grounder does not occur and the etiolation does not occur is triggered by the redistribution. ; $context$ = sent1: that the impasto occurs and the grounder happens is not correct. sent2: that the situation occurs and the irreversibleness occurs is not true. sent3: if that both the non-maxillomandibularness and the safe occurs is not right then the preprandialness occurs. sent4: that the lacing deep occurs hold. sent5: the Job does not occur and the immersing does not occur. sent6: the descrying upcast occurs and the jogging does not occur. sent7: that the whistling does not occur and the blindness does not occur is not correct. sent8: if the fact that the Cockney does not occur but the shaming happens is false then the playback happens. sent9: the fact that not the exposure but the bibliolatry happens is not correct. sent10: the orthopticsness does not occur and the gift does not occur. sent11: if that the whistle does not occur and the blinding does not occur does not hold then the Ephesian occurs. sent12: the genitalness occurs. sent13: the fact that the lamination and the novation occurs is not correct. sent14: if that the voyaging does not occur but the developing occurs is not right the regicide occurs. sent15: the fact that not the Cockneiness but the shame happens is not correct. sent16: the decompression occurs. sent17: that the Ephesianness does not occur is triggered by that the playback and the hysterotomy occurs. sent18: if the fact that the atmosphere does not occur and the defervescentness does not occur is not right then the descrying anathema happens. sent19: if the fact that that both the impasto and the grounder happens is not right is right then the grounder does not occur. sent20: the czaristness happens. sent21: the attaching occurs. ; $proof$ = 
sent8 & sent15 -> int1: the playback happens.; void -> assump2: Let's assume that that the hysterotomy happens is not incorrect.; int1 & assump2 -> int2: the playback occurs and the hysterotomy happens.; int2 & sent17 -> int3: that the Ephesian does not occur is true.; sent11 & sent7 -> int4: the Ephesianness occurs.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the hysterotomy does not occur.; void -> assump1: Let's assume that the redistribution happens.; int6 & assump1 -> int7: the redistribution but not the hysterotomy occurs.; sent19 & sent1 -> int8: the grounder does not occur.; __UNKNOWN__