the divarication does not occur if the orthopticness happens.
sent1: the white-collarness is prevented by that both the convoying Linum and the non-centroidalness happens. sent2: the fact that the bareness does not occur is true if the surviving does not occur and the bolide does not occur. sent3: that the guttural does not occur is not incorrect. sent4: if the fact that both the scandal and the brutalization happens is right the jack-o'-lantern does not occur. sent5: the isotonicness results in that both the convoying Linum and the non-centroidalness happens. sent6: if the surgery occurs then the fact that that either the non-semiterrestrialness or the teasing TPN or both occurs hold is not correct. sent7: the Stalinist does not occur. sent8: that the non-Stalinistness and the guttural occurs leads to the Hawaiian. sent9: that the unbending pyrrhotite occurs leads to that the divarication happens. sent10: the enthusing does not occur if both the peepshow and the cuticularness occurs. sent11: the unbending pyrrhotite happens and the excavation occurs if the Siouanness does not occur. sent12: the nim does not occur. sent13: the unbending pyrrhotite does not occur. sent14: the brahminicness occurs and the megillah occurs. sent15: if the non-orthopticness and the divarication occurs then the offering Psittacus does not occur. sent16: that both the offering Psittacus and the orthopticness occurs prevents that the divarication does not occur. sent17: both the Anglophilicness and the isotonicness occurs. sent18: the divarication does not occur if both the offering Psittacus and the orthopticness happens. sent19: that both the non-white-collarness and the non-bareness occurs prevents that the Siouan occurs. sent20: if that the non-semiterrestrialness and/or the teasing TPN occurs is not correct then the orthopticness does not occur. sent21: the outrage happens and the surgery happens if the gastroscopy does not occur.
sent3 & sent7 -> int1: the guttural does not occur and the Stalinist does not occur.;
that the Hawaiian happens is true.
sent17 -> int2: the isotonicness happens.; sent5 & int2 -> int3: the convoying Linum and the non-centroidalness happens.; sent1 & int3 -> int4: the white-collarness does not occur.;
$hypothesis$ = the divarication does not occur if the orthopticness happens. ; $context$ = sent1: the white-collarness is prevented by that both the convoying Linum and the non-centroidalness happens. sent2: the fact that the bareness does not occur is true if the surviving does not occur and the bolide does not occur. sent3: that the guttural does not occur is not incorrect. sent4: if the fact that both the scandal and the brutalization happens is right the jack-o'-lantern does not occur. sent5: the isotonicness results in that both the convoying Linum and the non-centroidalness happens. sent6: if the surgery occurs then the fact that that either the non-semiterrestrialness or the teasing TPN or both occurs hold is not correct. sent7: the Stalinist does not occur. sent8: that the non-Stalinistness and the guttural occurs leads to the Hawaiian. sent9: that the unbending pyrrhotite occurs leads to that the divarication happens. sent10: the enthusing does not occur if both the peepshow and the cuticularness occurs. sent11: the unbending pyrrhotite happens and the excavation occurs if the Siouanness does not occur. sent12: the nim does not occur. sent13: the unbending pyrrhotite does not occur. sent14: the brahminicness occurs and the megillah occurs. sent15: if the non-orthopticness and the divarication occurs then the offering Psittacus does not occur. sent16: that both the offering Psittacus and the orthopticness occurs prevents that the divarication does not occur. sent17: both the Anglophilicness and the isotonicness occurs. sent18: the divarication does not occur if both the offering Psittacus and the orthopticness happens. sent19: that both the non-white-collarness and the non-bareness occurs prevents that the Siouan occurs. sent20: if that the non-semiterrestrialness and/or the teasing TPN occurs is not correct then the orthopticness does not occur. sent21: the outrage happens and the surgery happens if the gastroscopy does not occur. ; $proof$ = 
sent3 & sent7 -> int1: the guttural does not occur and the Stalinist does not occur.; __UNKNOWN__