the charming shrillness does not occur but the self-flagellation happens.
sent1: that the break but not the cathedralness happens is triggered by that the ricing mink does not occur. sent2: the microwave happens if the fact that not the microwave but the alarness happens does not hold. sent3: the self-flagellation occurs and the ricing mink occurs. sent4: if that the ricing poignance and the decoupling happens is incorrect then the ricing poignance does not occur. sent5: if the break happens that the charming shrillness does not occur and the self-flagellation happens is incorrect. sent6: if the veneering happens then the fact that the microwaving does not occur and the alarness occurs is incorrect. sent7: the cathedral does not occur. sent8: if the fact that the doctoring but not the Iraqi occurs is not right then that the reducibleness does not occur is right. sent9: the veneering and the placement occurs if the ricing poignance does not occur. sent10: the non-smoothedness causes that the pose does not occur and the ricing care happens. sent11: the leapfrog happens and the synchronizing happens if the reducibleness does not occur. sent12: that the fact that the doctor and the non-Iraqiness occurs hold does not hold if the pose does not occur. sent13: the fact that the ricing poignance occurs and the decoupling occurs is not correct if the charming nasion does not occur. sent14: that the keystroke does not occur and the rubdown does not occur is caused by that the microwaving occurs. sent15: not the ricing mink but the layout happens if the synchronizing occurs. sent16: if the fact that the heading does not occur and/or the ricing mojo occurs does not hold then the charming nasion does not occur. sent17: if the keystroke does not occur and the rubdown does not occur then the smoothed does not occur.
void -> assump1: Let's assume that not the breaking but the cathedralness occurs.; assump1 -> int1: the cathedralness happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the break does not occur but the cathedralness occurs is wrong.; sent3 -> int4: the self-flagellation happens.;
that not the charming shrillness but the self-flagellation occurs is not correct.
$hypothesis$ = the charming shrillness does not occur but the self-flagellation happens. ; $context$ = sent1: that the break but not the cathedralness happens is triggered by that the ricing mink does not occur. sent2: the microwave happens if the fact that not the microwave but the alarness happens does not hold. sent3: the self-flagellation occurs and the ricing mink occurs. sent4: if that the ricing poignance and the decoupling happens is incorrect then the ricing poignance does not occur. sent5: if the break happens that the charming shrillness does not occur and the self-flagellation happens is incorrect. sent6: if the veneering happens then the fact that the microwaving does not occur and the alarness occurs is incorrect. sent7: the cathedral does not occur. sent8: if the fact that the doctoring but not the Iraqi occurs is not right then that the reducibleness does not occur is right. sent9: the veneering and the placement occurs if the ricing poignance does not occur. sent10: the non-smoothedness causes that the pose does not occur and the ricing care happens. sent11: the leapfrog happens and the synchronizing happens if the reducibleness does not occur. sent12: that the fact that the doctor and the non-Iraqiness occurs hold does not hold if the pose does not occur. sent13: the fact that the ricing poignance occurs and the decoupling occurs is not correct if the charming nasion does not occur. sent14: that the keystroke does not occur and the rubdown does not occur is caused by that the microwaving occurs. sent15: not the ricing mink but the layout happens if the synchronizing occurs. sent16: if the fact that the heading does not occur and/or the ricing mojo occurs does not hold then the charming nasion does not occur. sent17: if the keystroke does not occur and the rubdown does not occur then the smoothed does not occur. ; $proof$ = 
void -> assump1: Let's assume that not the breaking but the cathedralness occurs.; assump1 -> int1: the cathedralness happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the break does not occur but the cathedralness occurs is wrong.; sent3 -> int4: the self-flagellation happens.; __UNKNOWN__