the fact that the thrusting does not occur is not right.
sent1: the sarcosomalness happens if the fact that the metaphysicalness does not occur hold. sent2: the embolism occurs. sent3: the contradistinguishing mouth occurs. sent4: if the forbearing but not the immolation occurs then the masking does not occur. sent5: that the kinestheticness does not occur leads to the non-czaristness and/or that the interleaving Lozier occurs. sent6: the interleaving Lozier does not occur if that the interleaving Lozier but not the pronation occurs does not hold. sent7: if the fretting obelion occurs the football happens. sent8: that the forbearing and the immolation occurs prevents that the thrust happens. sent9: the czaristness does not occur if that the thrust does not occur and/or the kinestheticness does not occur is wrong. sent10: the fact that the contradistinguishing campaigner occurs and the speech does not occur is not true if the fact that the birdying does not occur is true. sent11: the forbearing does not occur if the immolation happens. sent12: the thrust occurs if that the czaristness happens is right. sent13: the slavery happens. sent14: the growing does not occur. sent15: the fact that the chokehold happens is true if the interleaving Mercator happens. sent16: that the unconditionalness happens is not false. sent17: the czaristness happens if the forbearing does not occur. sent18: the unifilarness does not occur if the fretting Italic occurs. sent19: that if the interleaving Lozier does not occur that either the thrusting does not occur or the kinestheticness does not occur or both is not true is correct. sent20: the fact that the demilitarizing mezzo-relievo occurs and the growing does not occur is not right if the immolation does not occur.
void -> assump1: Let's assume that the fact that the immolation does not occur hold.; sent20 & assump1 -> int1: the fact that the demilitarizing mezzo-relievo happens but the growing does not occur is not right.;
the thrusting does not occur.
$hypothesis$ = the fact that the thrusting does not occur is not right. ; $context$ = sent1: the sarcosomalness happens if the fact that the metaphysicalness does not occur hold. sent2: the embolism occurs. sent3: the contradistinguishing mouth occurs. sent4: if the forbearing but not the immolation occurs then the masking does not occur. sent5: that the kinestheticness does not occur leads to the non-czaristness and/or that the interleaving Lozier occurs. sent6: the interleaving Lozier does not occur if that the interleaving Lozier but not the pronation occurs does not hold. sent7: if the fretting obelion occurs the football happens. sent8: that the forbearing and the immolation occurs prevents that the thrust happens. sent9: the czaristness does not occur if that the thrust does not occur and/or the kinestheticness does not occur is wrong. sent10: the fact that the contradistinguishing campaigner occurs and the speech does not occur is not true if the fact that the birdying does not occur is true. sent11: the forbearing does not occur if the immolation happens. sent12: the thrust occurs if that the czaristness happens is right. sent13: the slavery happens. sent14: the growing does not occur. sent15: the fact that the chokehold happens is true if the interleaving Mercator happens. sent16: that the unconditionalness happens is not false. sent17: the czaristness happens if the forbearing does not occur. sent18: the unifilarness does not occur if the fretting Italic occurs. sent19: that if the interleaving Lozier does not occur that either the thrusting does not occur or the kinestheticness does not occur or both is not true is correct. sent20: the fact that the demilitarizing mezzo-relievo occurs and the growing does not occur is not right if the immolation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the immolation does not occur hold.; sent20 & assump1 -> int1: the fact that the demilitarizing mezzo-relievo happens but the growing does not occur is not right.; __UNKNOWN__