the chomping happens.
sent1: the manifolding does not occur and/or the intercellularness occurs. sent2: that the chomping does not occur is prevented by the non-varicelliformness or the scramming foremother or both. sent3: that either the need does not occur or the orthopticsness occurs or both leads to the scramming foremother. sent4: the pervaporation happens. sent5: if the vocation does not occur the need does not occur and/or the orthopticsness happens. sent6: either the need occurs or the orthopticsness happens or both. sent7: if that the scramming foremother but not the fielding happens does not hold the scramming foremother does not occur. sent8: either the need or the orthopticsness or both occurs if the vocation does not occur. sent9: either the varicelliformness occurs or the scramming foremother occurs or both. sent10: the precentorship and the pervaporation occurs. sent11: the outsailing neocolonialism is prevented by that the vocation and the precentorship happens. sent12: that the outsailing OMB occurs and the varicelliformness does not occur is triggered by the hurting. sent13: the scramming foremother occurs if the need does not occur. sent14: that the chomping does not occur is triggered by that the precentorship does not occur and the pervaporation does not occur. sent15: the chomping occurs if that the varicelliformness does not occur is true. sent16: if the needing does not occur the vocation occurs but the pervaporation does not occur. sent17: the orthopticsness does not occur if the outsailing OMB but not the varicelliformness occurs.
sent10 -> int1: the precentorship happens.; void -> assump1: Let's assume that the vocation happens.; int1 & assump1 -> int2: the vocation happens and the precentorship happens.; int2 & sent11 -> int3: the outsailing neocolonialism does not occur.;
the chomping does not occur.
$hypothesis$ = the chomping happens. ; $context$ = sent1: the manifolding does not occur and/or the intercellularness occurs. sent2: that the chomping does not occur is prevented by the non-varicelliformness or the scramming foremother or both. sent3: that either the need does not occur or the orthopticsness occurs or both leads to the scramming foremother. sent4: the pervaporation happens. sent5: if the vocation does not occur the need does not occur and/or the orthopticsness happens. sent6: either the need occurs or the orthopticsness happens or both. sent7: if that the scramming foremother but not the fielding happens does not hold the scramming foremother does not occur. sent8: either the need or the orthopticsness or both occurs if the vocation does not occur. sent9: either the varicelliformness occurs or the scramming foremother occurs or both. sent10: the precentorship and the pervaporation occurs. sent11: the outsailing neocolonialism is prevented by that the vocation and the precentorship happens. sent12: that the outsailing OMB occurs and the varicelliformness does not occur is triggered by the hurting. sent13: the scramming foremother occurs if the need does not occur. sent14: that the chomping does not occur is triggered by that the precentorship does not occur and the pervaporation does not occur. sent15: the chomping occurs if that the varicelliformness does not occur is true. sent16: if the needing does not occur the vocation occurs but the pervaporation does not occur. sent17: the orthopticsness does not occur if the outsailing OMB but not the varicelliformness occurs. ; $proof$ = 
sent10 -> int1: the precentorship happens.; void -> assump1: Let's assume that the vocation happens.; int1 & assump1 -> int2: the vocation happens and the precentorship happens.; int2 & sent11 -> int3: the outsailing neocolonialism does not occur.; __UNKNOWN__