if the clinking Oahu does not occur then the screening but not the editorship occurs.
sent1: the fact that the fact that both the non-vernalness and the discipleship occurs is not correct if the clinking Oahu does not occur hold. sent2: the clinking rearrangement but not the clinking sureness occurs. sent3: that the acidifying does not occur is prevented by that the unionizing porch happens. sent4: the fact that the vernalness does not occur and the discipleship does not occur does not hold if the clinking Oahu does not occur. sent5: that the consolableness does not occur and the clinking fairness does not occur does not hold. sent6: that both the non-vernalness and the discipleship happens is wrong. sent7: the unionizing porch happens. sent8: that the acidifying happens and the editorship does not occur is brought about by that the unionizing porch happens. sent9: the unionizing gutsiness prevents that the priestliness does not occur. sent10: the outwardness but not the clinking Monochamus occurs. sent11: the fact that the traditionalism does not occur and the Socraticness does not occur is wrong. sent12: the biblioticsness occurs. sent13: that the popery occurs and the humicness does not occur is caused by the clinking Mahayanism. sent14: if the discipleship occurs the screening occurs. sent15: if that the clinking Oahu occurs is true then that the vernalness does not occur and the discipleship does not occur is not correct. sent16: the acidifying occurs. sent17: the dogfight does not occur. sent18: the arealness but not the clinking freetail happens if the resizing pussy-paw does not occur. sent19: if that the scholarliness happens hold the clinking fairness happens and the disengagement does not occur. sent20: if the clinking Oahu occurs the screening but not the editorship occurs.
void -> assump1: Let's assume that the clinking Oahu does not occur.; sent4 & assump1 -> int1: the fact that the vernalness does not occur and the discipleship does not occur is wrong.; sent8 & sent7 -> int2: the acidifying occurs and the editorship does not occur.; int2 -> int3: the editorship does not occur.;
$hypothesis$ = if the clinking Oahu does not occur then the screening but not the editorship occurs. ; $context$ = sent1: the fact that the fact that both the non-vernalness and the discipleship occurs is not correct if the clinking Oahu does not occur hold. sent2: the clinking rearrangement but not the clinking sureness occurs. sent3: that the acidifying does not occur is prevented by that the unionizing porch happens. sent4: the fact that the vernalness does not occur and the discipleship does not occur does not hold if the clinking Oahu does not occur. sent5: that the consolableness does not occur and the clinking fairness does not occur does not hold. sent6: that both the non-vernalness and the discipleship happens is wrong. sent7: the unionizing porch happens. sent8: that the acidifying happens and the editorship does not occur is brought about by that the unionizing porch happens. sent9: the unionizing gutsiness prevents that the priestliness does not occur. sent10: the outwardness but not the clinking Monochamus occurs. sent11: the fact that the traditionalism does not occur and the Socraticness does not occur is wrong. sent12: the biblioticsness occurs. sent13: that the popery occurs and the humicness does not occur is caused by the clinking Mahayanism. sent14: if the discipleship occurs the screening occurs. sent15: if that the clinking Oahu occurs is true then that the vernalness does not occur and the discipleship does not occur is not correct. sent16: the acidifying occurs. sent17: the dogfight does not occur. sent18: the arealness but not the clinking freetail happens if the resizing pussy-paw does not occur. sent19: if that the scholarliness happens hold the clinking fairness happens and the disengagement does not occur. sent20: if the clinking Oahu occurs the screening but not the editorship occurs. ; $proof$ = 
void -> assump1: Let's assume that the clinking Oahu does not occur.; sent4 & assump1 -> int1: the fact that the vernalness does not occur and the discipleship does not occur is wrong.; sent8 & sent7 -> int2: the acidifying occurs and the editorship does not occur.; int2 -> int3: the editorship does not occur.; __UNKNOWN__