the elbowing does not occur if the shriving occurs.
sent1: if the Canadianness happens and/or the disposableness happens the skewing does not occur. sent2: the candlelight does not occur. sent3: the Malian occurs if the corner happens. sent4: the nonmigratoriness happens. sent5: either the promulgation occurs or the Gaussianness occurs or both. sent6: that the depositing occurs results in that the disposable does not occur. sent7: the depletion happens if the napping occurs. sent8: the TAT happens. sent9: the difficultness triggers the publication. sent10: the elbowing happens. sent11: that the elbowing occurs is prevented by the epicureanness. sent12: the inviolableness is brought about by either that the branching occurs or the juice or both. sent13: that the Gaussianness happens is true if the reigning fire-eater occurs. sent14: if either the counterploting occurs or the epicureanness occurs or both the elbowing does not occur. sent15: the alertness causes that the bombshell does not occur. sent16: that the desirableness does not occur hold if the tidalness occurs. sent17: the unpronounceableness occurs. sent18: if the counterplot and/or the epicureanness happens then the elbowing occurs. sent19: that the refractiveness occurs is prevented by that the titularness happens. sent20: the miscarrying atorvastatin happens and/or the septectomy happens.
$hypothesis$ = the elbowing does not occur if the shriving occurs. ; $context$ = sent1: if the Canadianness happens and/or the disposableness happens the skewing does not occur. sent2: the candlelight does not occur. sent3: the Malian occurs if the corner happens. sent4: the nonmigratoriness happens. sent5: either the promulgation occurs or the Gaussianness occurs or both. sent6: that the depositing occurs results in that the disposable does not occur. sent7: the depletion happens if the napping occurs. sent8: the TAT happens. sent9: the difficultness triggers the publication. sent10: the elbowing happens. sent11: that the elbowing occurs is prevented by the epicureanness. sent12: the inviolableness is brought about by either that the branching occurs or the juice or both. sent13: that the Gaussianness happens is true if the reigning fire-eater occurs. sent14: if either the counterploting occurs or the epicureanness occurs or both the elbowing does not occur. sent15: the alertness causes that the bombshell does not occur. sent16: that the desirableness does not occur hold if the tidalness occurs. sent17: the unpronounceableness occurs. sent18: if the counterplot and/or the epicureanness happens then the elbowing occurs. sent19: that the refractiveness occurs is prevented by that the titularness happens. sent20: the miscarrying atorvastatin happens and/or the septectomy happens. ; $proof$ = 
__UNKNOWN__