the prenuptialness does not occur.
sent1: the vitality happens if the hooflikeness happens. sent2: that the bearing exhibitionist occurs and the hornpipe occurs is false. sent3: that the labeling happens brings about the paradigmaticness. sent4: that the toplessness does not occur yields that the concentricness or the perithelialness or both occurs. sent5: that the concentricness does not occur results in either the toplessness or the roots or both. sent6: the fact that if the outshouting mimosa happens the rooting happens is true. sent7: if the hornpipe does not occur then the label occurs or the shelter happens or both. sent8: the outshouting mimosa happens. sent9: if the concentricness happens the hooflikeness occurs. sent10: that the perithelialness and the non-hooflikeness happens leads to that the concentricness does not occur. sent11: if the shelter happens then the paradigmaticness happens. sent12: if the perithelialness occurs then the hooflikeness occurs. sent13: the prenuptialness does not occur if both the vitality and the paradigmaticness happens. sent14: if the toplessness occurs then the prenuptialness occurs. sent15: if the outshouting mimosa does not occur the fact that the paradigmaticness happens and the vitality happens is wrong. sent16: if the fact that the bearing exhibitionist occurs and the hornpipe occurs is not correct then the hornpipe does not occur. sent17: the rooting does not occur if that the jamming but not the outshouting Ninkhursag happens is incorrect. sent18: that the rooting occurs is prevented by the outshouting Ninkhursag. sent19: that both the jamming and the outshouting Ninkhursag occurs does not hold.
void -> assump1: Let's assume that the fact that the jamming but not the outshouting Ninkhursag happens is wrong.; sent17 & assump1 -> int1: the rooting does not occur.; sent6 & sent8 -> int2: the rooting happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the jamming happens but the outshouting Ninkhursag does not occur.; sent16 & sent2 -> int5: the hornpipe does not occur.; sent7 & int5 -> int6: the label and/or the shelter occurs.; int6 & sent3 & sent11 -> int7: that the paradigmaticness happens is true.;
the prenuptialness occurs.
$hypothesis$ = the prenuptialness does not occur. ; $context$ = sent1: the vitality happens if the hooflikeness happens. sent2: that the bearing exhibitionist occurs and the hornpipe occurs is false. sent3: that the labeling happens brings about the paradigmaticness. sent4: that the toplessness does not occur yields that the concentricness or the perithelialness or both occurs. sent5: that the concentricness does not occur results in either the toplessness or the roots or both. sent6: the fact that if the outshouting mimosa happens the rooting happens is true. sent7: if the hornpipe does not occur then the label occurs or the shelter happens or both. sent8: the outshouting mimosa happens. sent9: if the concentricness happens the hooflikeness occurs. sent10: that the perithelialness and the non-hooflikeness happens leads to that the concentricness does not occur. sent11: if the shelter happens then the paradigmaticness happens. sent12: if the perithelialness occurs then the hooflikeness occurs. sent13: the prenuptialness does not occur if both the vitality and the paradigmaticness happens. sent14: if the toplessness occurs then the prenuptialness occurs. sent15: if the outshouting mimosa does not occur the fact that the paradigmaticness happens and the vitality happens is wrong. sent16: if the fact that the bearing exhibitionist occurs and the hornpipe occurs is not correct then the hornpipe does not occur. sent17: the rooting does not occur if that the jamming but not the outshouting Ninkhursag happens is incorrect. sent18: that the rooting occurs is prevented by the outshouting Ninkhursag. sent19: that both the jamming and the outshouting Ninkhursag occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the jamming but not the outshouting Ninkhursag happens is wrong.; sent17 & assump1 -> int1: the rooting does not occur.; sent6 & sent8 -> int2: the rooting happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the jamming happens but the outshouting Ninkhursag does not occur.; sent16 & sent2 -> int5: the hornpipe does not occur.; sent7 & int5 -> int6: the label and/or the shelter occurs.; int6 & sent3 & sent11 -> int7: that the paradigmaticness happens is true.; __UNKNOWN__