the basking copartner does not occur and the lavishness does not occur.
sent1: that the basking copartner does not occur and the lavishness does not occur is brought about by that the typhoon does not occur. sent2: either the unwariness occurs or the juridicalness occurs or both. sent3: if the empiricness occurs then that the impairing Sorghum does not occur and the impairing saltine does not occur is not wrong. sent4: the impairing saltine does not occur. sent5: the acervateness occurs. sent6: the basking copartner does not occur. sent7: the impairing Corneille happens if either the waryness or the juridicalness or both happens. sent8: if that the unwariness does not occur or the juridicalness happens or both is not true then the typhoon does not occur. sent9: if the unwariness does not occur then the impairing Corneille occurs. sent10: that the basking barcarole does not occur and the deploring way does not occur is triggered by that the convenientness does not occur. sent11: the typhoon does not occur if that either the unwariness or the juridicalness or both occurs is false. sent12: the impairing pitch occurs. sent13: the impairing Sorghum occurs if that the impairing Corneille occurs hold. sent14: if the empiricness happens then the impairing saltine does not occur. sent15: the ringing does not occur. sent16: if either the cook does not occur or the pack occurs or both then the boxing backhanded happens. sent17: if the typhoon does not occur the basking copartner does not occur. sent18: the unwariness occurs. sent19: the clementness happens. sent20: if the fact that the deploring viceroy does not occur or the gassing occurs or both does not hold the looseness does not occur.
void -> assump1: Let's assume that the non-unwariness or the juridicalness or both happens.; sent7 & assump1 -> int1: the impairing Corneille occurs.; int1 & sent13 -> int2: the impairing Sorghum occurs.;
that the basking copartner does not occur and the lavishness does not occur does not hold.
 -> hypothesis;
$hypothesis$ = the basking copartner does not occur and the lavishness does not occur. ; $context$ = sent1: that the basking copartner does not occur and the lavishness does not occur is brought about by that the typhoon does not occur. sent2: either the unwariness occurs or the juridicalness occurs or both. sent3: if the empiricness occurs then that the impairing Sorghum does not occur and the impairing saltine does not occur is not wrong. sent4: the impairing saltine does not occur. sent5: the acervateness occurs. sent6: the basking copartner does not occur. sent7: the impairing Corneille happens if either the waryness or the juridicalness or both happens. sent8: if that the unwariness does not occur or the juridicalness happens or both is not true then the typhoon does not occur. sent9: if the unwariness does not occur then the impairing Corneille occurs. sent10: that the basking barcarole does not occur and the deploring way does not occur is triggered by that the convenientness does not occur. sent11: the typhoon does not occur if that either the unwariness or the juridicalness or both occurs is false. sent12: the impairing pitch occurs. sent13: the impairing Sorghum occurs if that the impairing Corneille occurs hold. sent14: if the empiricness happens then the impairing saltine does not occur. sent15: the ringing does not occur. sent16: if either the cook does not occur or the pack occurs or both then the boxing backhanded happens. sent17: if the typhoon does not occur the basking copartner does not occur. sent18: the unwariness occurs. sent19: the clementness happens. sent20: if the fact that the deploring viceroy does not occur or the gassing occurs or both does not hold the looseness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the non-unwariness or the juridicalness or both happens.; sent7 & assump1 -> int1: the impairing Corneille occurs.; int1 & sent13 -> int2: the impairing Sorghum occurs.; __UNKNOWN__