the diastole but not the deposing playpen occurs.
sent1: the facialness does not occur. sent2: the heroicsness occurs if the fact that the datableness happens is true. sent3: the dehydrogenating lakeside happens but the awainess does not occur. sent4: that the dehydrogenating dasyure does not occur is not incorrect. sent5: if the deposing crutch happens the prosecution occurs. sent6: if the abortion does not occur the ordinary happens but the deposing consul does not occur. sent7: the italic does not occur if not the prosecution but the deposing crutch occurs. sent8: that not the prosecution but the deposing crutch occurs is triggered by the deposing playpen. sent9: the animatingness does not occur. sent10: the diastole occurs but the deposing playpen does not occur if the fact that the deposing crutch does not occur is not incorrect. sent11: the pavane happens if that the smoulder happens hold.
void -> assump1: Let's assume that the deposing crutch occurs.; sent5 & assump1 -> int1: that the prosecution occurs hold.;
the italicness does not occur.
$hypothesis$ = the diastole but not the deposing playpen occurs. ; $context$ = sent1: the facialness does not occur. sent2: the heroicsness occurs if the fact that the datableness happens is true. sent3: the dehydrogenating lakeside happens but the awainess does not occur. sent4: that the dehydrogenating dasyure does not occur is not incorrect. sent5: if the deposing crutch happens the prosecution occurs. sent6: if the abortion does not occur the ordinary happens but the deposing consul does not occur. sent7: the italic does not occur if not the prosecution but the deposing crutch occurs. sent8: that not the prosecution but the deposing crutch occurs is triggered by the deposing playpen. sent9: the animatingness does not occur. sent10: the diastole occurs but the deposing playpen does not occur if the fact that the deposing crutch does not occur is not incorrect. sent11: the pavane happens if that the smoulder happens hold. ; $proof$ = 
void -> assump1: Let's assume that the deposing crutch occurs.; sent5 & assump1 -> int1: that the prosecution occurs hold.; __UNKNOWN__