the dacoity and the non-anisometropicness happens if the oleophilicness occurs.
sent1: the fact that the interiorness and the anisometropicness happens is not right if the dacoity does not occur. sent2: both the crossbreeding Smolensk and the judge occurs if the solution does not occur. sent3: the qualifying Sceloglaux does not occur. sent4: if the permitting does not occur that the qualifying fog and the oleophilicness occurs does not hold. sent5: if the fact that the lunarness occurs but the amplification does not occur is not true then the crossbreeding sabot does not occur. sent6: that the approachableness and the dacoity happens is caused by that the qualifying Sceloglaux does not occur. sent7: either the attitudinalness happens or the commission does not occur or both. sent8: that the lipectomy does not occur but the yip occurs is caused by that the crossbreeding sabot does not occur. sent9: that the unapproachableness and the non-sepaloidness occurs does not hold if that the qualifying Sceloglaux does not occur is not right. sent10: if the lipectomy does not occur that the qualifying Sceloglaux occurs and the probation happens is right. sent11: that the approachableness occurs is true if the qualifying Sceloglaux does not occur. sent12: that the lunarness but not the amplification happens is not correct if the crossbreeding Smolensk occurs. sent13: if the fact that the qualifying fog and the oleophilicness happens is wrong the fact that the consularness does not occur hold. sent14: the approachableness occurs. sent15: either the oleophilicness or the qualifying fog or both happens. sent16: both the interiorness and the sepaloidness occurs. sent17: both the qualifying clavicle and the gastrectomy happens. sent18: the qualifying fog does not occur. sent19: if the permit and the interiorness occurs then the anisometropicness does not occur. sent20: the sepaloidness happens.
void -> assump1: Let's assume that the oleophilicness occurs.; assump1 -> int1: the oleophilicness occurs and/or the qualifying fog does not occur.; sent16 -> int2: the interiorness happens.; sent6 & sent3 -> int3: the approachableness and the dacoity happens.; int3 -> int4: the dacoity occurs.;
the consularness does not occur.
$hypothesis$ = the dacoity and the non-anisometropicness happens if the oleophilicness occurs. ; $context$ = sent1: the fact that the interiorness and the anisometropicness happens is not right if the dacoity does not occur. sent2: both the crossbreeding Smolensk and the judge occurs if the solution does not occur. sent3: the qualifying Sceloglaux does not occur. sent4: if the permitting does not occur that the qualifying fog and the oleophilicness occurs does not hold. sent5: if the fact that the lunarness occurs but the amplification does not occur is not true then the crossbreeding sabot does not occur. sent6: that the approachableness and the dacoity happens is caused by that the qualifying Sceloglaux does not occur. sent7: either the attitudinalness happens or the commission does not occur or both. sent8: that the lipectomy does not occur but the yip occurs is caused by that the crossbreeding sabot does not occur. sent9: that the unapproachableness and the non-sepaloidness occurs does not hold if that the qualifying Sceloglaux does not occur is not right. sent10: if the lipectomy does not occur that the qualifying Sceloglaux occurs and the probation happens is right. sent11: that the approachableness occurs is true if the qualifying Sceloglaux does not occur. sent12: that the lunarness but not the amplification happens is not correct if the crossbreeding Smolensk occurs. sent13: if the fact that the qualifying fog and the oleophilicness happens is wrong the fact that the consularness does not occur hold. sent14: the approachableness occurs. sent15: either the oleophilicness or the qualifying fog or both happens. sent16: both the interiorness and the sepaloidness occurs. sent17: both the qualifying clavicle and the gastrectomy happens. sent18: the qualifying fog does not occur. sent19: if the permit and the interiorness occurs then the anisometropicness does not occur. sent20: the sepaloidness happens. ; $proof$ = 
void -> assump1: Let's assume that the oleophilicness occurs.; assump1 -> int1: the oleophilicness occurs and/or the qualifying fog does not occur.; sent16 -> int2: the interiorness happens.; sent6 & sent3 -> int3: the approachableness and the dacoity happens.; int3 -> int4: the dacoity occurs.; __UNKNOWN__