the interdicting refit occurs.
sent1: that the Malthusianness and the interdicting refit happens is incorrect if the fact that the honeying Durango does not occur is right. sent2: the honeying RTLT occurs if the Malthusian does not occur. sent3: if the fact that the vouching happens but the coercion does not occur is not correct then the interdicting dare does not occur. sent4: the set does not occur. sent5: both the synchronicness and the expansiveness happens if the red-eyeing does not occur. sent6: if the torturing Sambucus occurs the honeying RTLT does not occur and/or the torturing lamprey happens. sent7: both the torturing lamprey and the torturing Sambucus happens. sent8: the heartbeat is prevented by that the ownership does not occur or that the heartbeat does not occur or both. sent9: if the honeying RTLT does not occur or the torturing lamprey occurs or both the honeying Durango does not occur. sent10: if the set does not occur the acetylicness does not occur. sent11: if the interdicting dare does not occur then the ownership does not occur but the informativeness occurs. sent12: if the air-to-surfaceness occurs then the fact that the vouching occurs and the coercion does not occur does not hold. sent13: that the heartbeat does not occur leads to that the expansiveness and/or the red-eyeing happens. sent14: the honeying LE happens or the macromolecularness happens or both if the acetylicness does not occur. sent15: that the honeying Durango occurs prevents that the resettling Asin does not occur. sent16: that the synchronicness does not occur results in that the leaflessness occurs and the torturing Sambucus occurs. sent17: the torturing lamprey does not occur if the honeying Durango occurs. sent18: if the honeying RTLT does not occur that the fact that the torturing lamprey but not the Malthusianness happens does not hold is correct. sent19: if the Malthusianness does not occur both the interdicting refit and the honeying RTLT occurs. sent20: both the torturing Sambucus and the non-leaflessness happens if the synchronicness happens.
void -> assump1: Let's assume that the Malthusian occurs.; assump1 -> int1: the honeying Durango occurs or the Malthusianness happens or both.; sent7 -> int2: the torturing lamprey occurs.;
the resettling Asin occurs.
$hypothesis$ = the interdicting refit occurs. ; $context$ = sent1: that the Malthusianness and the interdicting refit happens is incorrect if the fact that the honeying Durango does not occur is right. sent2: the honeying RTLT occurs if the Malthusian does not occur. sent3: if the fact that the vouching happens but the coercion does not occur is not correct then the interdicting dare does not occur. sent4: the set does not occur. sent5: both the synchronicness and the expansiveness happens if the red-eyeing does not occur. sent6: if the torturing Sambucus occurs the honeying RTLT does not occur and/or the torturing lamprey happens. sent7: both the torturing lamprey and the torturing Sambucus happens. sent8: the heartbeat is prevented by that the ownership does not occur or that the heartbeat does not occur or both. sent9: if the honeying RTLT does not occur or the torturing lamprey occurs or both the honeying Durango does not occur. sent10: if the set does not occur the acetylicness does not occur. sent11: if the interdicting dare does not occur then the ownership does not occur but the informativeness occurs. sent12: if the air-to-surfaceness occurs then the fact that the vouching occurs and the coercion does not occur does not hold. sent13: that the heartbeat does not occur leads to that the expansiveness and/or the red-eyeing happens. sent14: the honeying LE happens or the macromolecularness happens or both if the acetylicness does not occur. sent15: that the honeying Durango occurs prevents that the resettling Asin does not occur. sent16: that the synchronicness does not occur results in that the leaflessness occurs and the torturing Sambucus occurs. sent17: the torturing lamprey does not occur if the honeying Durango occurs. sent18: if the honeying RTLT does not occur that the fact that the torturing lamprey but not the Malthusianness happens does not hold is correct. sent19: if the Malthusianness does not occur both the interdicting refit and the honeying RTLT occurs. sent20: both the torturing Sambucus and the non-leaflessness happens if the synchronicness happens. ; $proof$ = 
void -> assump1: Let's assume that the Malthusian occurs.; assump1 -> int1: the honeying Durango occurs or the Malthusianness happens or both.; sent7 -> int2: the torturing lamprey occurs.; __UNKNOWN__