the blinkering lavage occurs and the disharmonizing does not occur.
sent1: if the fact that both the explicableness and the non-redemptiveness occurs is not true then the explicable occurs. sent2: the blinkering Circumcision results in that the overhandness does not occur. sent3: the fact that the knotting piggery does not occur hold. sent4: that the overhandness does not occur is caused by the fact that that the dialectalness happens or the blinkering Circumcision happens or both is not wrong. sent5: if the dialectalness does not occur then the fact that the knotting piggery does not occur and the dare does not occur does not hold. sent6: the blinkering lavage happens. sent7: that both the explicableness and the non-redemptiveness happens is not right. sent8: that the overhandness does not occur results in that the blinkering lavage but not the disharmonizing occurs. sent9: the non-photoemissiveness brings about that the blinkering Circumcision and/or the dialectalness happens. sent10: the knotting detonator does not occur and the photoemissiveness does not occur if the pressorness does not occur. sent11: the entomophilousness occurs if the blinkering Circumcision occurs. sent12: the blinkering lavage happens if the overhandness does not occur. sent13: the pressorness is prevented by that that the incomprehensibleness happens and the knotting toll happens is correct. sent14: the knotting detonator but not the longingness happens.
void -> assump1: Let's assume that the dialectalness does not occur.; sent5 & assump1 -> int1: that the knotting piggery does not occur and the dare does not occur is false.;
the entomophilousness but not the enforceableness happens.
sent1 & sent7 -> int2: the incomprehensibleness occurs.;
$hypothesis$ = the blinkering lavage occurs and the disharmonizing does not occur. ; $context$ = sent1: if the fact that both the explicableness and the non-redemptiveness occurs is not true then the explicable occurs. sent2: the blinkering Circumcision results in that the overhandness does not occur. sent3: the fact that the knotting piggery does not occur hold. sent4: that the overhandness does not occur is caused by the fact that that the dialectalness happens or the blinkering Circumcision happens or both is not wrong. sent5: if the dialectalness does not occur then the fact that the knotting piggery does not occur and the dare does not occur does not hold. sent6: the blinkering lavage happens. sent7: that both the explicableness and the non-redemptiveness happens is not right. sent8: that the overhandness does not occur results in that the blinkering lavage but not the disharmonizing occurs. sent9: the non-photoemissiveness brings about that the blinkering Circumcision and/or the dialectalness happens. sent10: the knotting detonator does not occur and the photoemissiveness does not occur if the pressorness does not occur. sent11: the entomophilousness occurs if the blinkering Circumcision occurs. sent12: the blinkering lavage happens if the overhandness does not occur. sent13: the pressorness is prevented by that that the incomprehensibleness happens and the knotting toll happens is correct. sent14: the knotting detonator but not the longingness happens. ; $proof$ = 
void -> assump1: Let's assume that the dialectalness does not occur.; sent5 & assump1 -> int1: that the knotting piggery does not occur and the dare does not occur is false.; __UNKNOWN__