that the soothing does not occur hold.
sent1: if that the hefting liquor does not occur or the excelling stone does not occur or both is not true then the soothing occurs. sent2: the downhill occurs. sent3: if the heavenliness does not occur the hefting liquor and the downhill occurs. sent4: the hefting Warburg does not occur. sent5: the beeping does not occur if the hefting knitting occurs. sent6: if the fragrantness does not occur the excelling shebeen occurs and the hefting welcoming happens. sent7: the excelling Friulian does not occur. sent8: that the excelling stone does not occur is prevented by the soothing. sent9: the fossilization occurs if the sight happens. sent10: the cohabitation occurs. sent11: that the Cameroonianness and the courtesy occurs hold. sent12: if the heavenliness occurs then the fact that the cohering Reconstruction occurs and the downhill does not occur is wrong. sent13: the heavenliness does not occur. sent14: the bankruptcy does not occur. sent15: that the cohering excuse does not occur is not wrong. sent16: the downhill happens if that the heavenliness does not occur is true. sent17: if that the cohering Reconstruction happens and the downhill does not occur is incorrect the downhill occurs. sent18: the typography occurs. sent19: the qualitativeness occurs and the cohering Italian happens.
void -> assump1: Let's assume that the soothing happens.; sent8 & assump1 -> int1: the excelling stone happens.; sent3 & sent13 -> int2: the hefting liquor and the downhill happens.; int2 -> int3: the hefting liquor occurs.;
the soothing happens.
$hypothesis$ = that the soothing does not occur hold. ; $context$ = sent1: if that the hefting liquor does not occur or the excelling stone does not occur or both is not true then the soothing occurs. sent2: the downhill occurs. sent3: if the heavenliness does not occur the hefting liquor and the downhill occurs. sent4: the hefting Warburg does not occur. sent5: the beeping does not occur if the hefting knitting occurs. sent6: if the fragrantness does not occur the excelling shebeen occurs and the hefting welcoming happens. sent7: the excelling Friulian does not occur. sent8: that the excelling stone does not occur is prevented by the soothing. sent9: the fossilization occurs if the sight happens. sent10: the cohabitation occurs. sent11: that the Cameroonianness and the courtesy occurs hold. sent12: if the heavenliness occurs then the fact that the cohering Reconstruction occurs and the downhill does not occur is wrong. sent13: the heavenliness does not occur. sent14: the bankruptcy does not occur. sent15: that the cohering excuse does not occur is not wrong. sent16: the downhill happens if that the heavenliness does not occur is true. sent17: if that the cohering Reconstruction happens and the downhill does not occur is incorrect the downhill occurs. sent18: the typography occurs. sent19: the qualitativeness occurs and the cohering Italian happens. ; $proof$ = 
void -> assump1: Let's assume that the soothing happens.; sent8 & assump1 -> int1: the excelling stone happens.; sent3 & sent13 -> int2: the hefting liquor and the downhill happens.; int2 -> int3: the hefting liquor occurs.; __UNKNOWN__