the diffraction does not occur.
sent1: the slander occurs. sent2: if the undertide and/or the exergonicness happens the deanery does not occur. sent3: the undervaluing happens. sent4: not the fielding fritter but the undervaluing happens if the fielding disorganization does not occur. sent5: if the fielding fritter does not occur that the muscle does not occur and the slander occurs is not correct. sent6: if not the deanery but the slander occurs the muscling occurs. sent7: that the fielding disorganization does not occur is right if the sameness does not occur but the abrogation happens. sent8: if the diffraction happens then the exergonicness occurs. sent9: that that the undertide does not occur is true if that the undertide and the deanery happens does not hold is not wrong. sent10: the fact that that the undertide and the deanery occurs is wrong is correct if the slander does not occur. sent11: the fact that the ergonomicness does not occur is not incorrect. sent12: the strand occurs. sent13: if that the undertide happens is correct then the fact that the deanery does not occur is not false. sent14: the unadoptableness occurs. sent15: that the Kurdish but not the bivalve occurs results in the non-anaphoricness. sent16: both the non-sameness and the abrogation happens if the anaphoricness does not occur. sent17: the undervaluing does not occur if the muscling happens and the fielding fritter occurs.
void -> assump1: Let's assume that the fact that the diffraction happens is right.; sent8 & assump1 -> int1: the exergonicness occurs.; int1 -> int2: the undertide or the exergonicness or both occurs.; int2 & sent2 -> int3: the deanery does not occur.; int3 & sent1 -> int4: not the deanery but the slander occurs.; int4 & sent6 -> int5: the muscle happens.;
the diffraction happens.
$hypothesis$ = the diffraction does not occur. ; $context$ = sent1: the slander occurs. sent2: if the undertide and/or the exergonicness happens the deanery does not occur. sent3: the undervaluing happens. sent4: not the fielding fritter but the undervaluing happens if the fielding disorganization does not occur. sent5: if the fielding fritter does not occur that the muscle does not occur and the slander occurs is not correct. sent6: if not the deanery but the slander occurs the muscling occurs. sent7: that the fielding disorganization does not occur is right if the sameness does not occur but the abrogation happens. sent8: if the diffraction happens then the exergonicness occurs. sent9: that that the undertide does not occur is true if that the undertide and the deanery happens does not hold is not wrong. sent10: the fact that that the undertide and the deanery occurs is wrong is correct if the slander does not occur. sent11: the fact that the ergonomicness does not occur is not incorrect. sent12: the strand occurs. sent13: if that the undertide happens is correct then the fact that the deanery does not occur is not false. sent14: the unadoptableness occurs. sent15: that the Kurdish but not the bivalve occurs results in the non-anaphoricness. sent16: both the non-sameness and the abrogation happens if the anaphoricness does not occur. sent17: the undervaluing does not occur if the muscling happens and the fielding fritter occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the diffraction happens is right.; sent8 & assump1 -> int1: the exergonicness occurs.; int1 -> int2: the undertide or the exergonicness or both occurs.; int2 & sent2 -> int3: the deanery does not occur.; int3 & sent1 -> int4: not the deanery but the slander occurs.; int4 & sent6 -> int5: the muscle happens.; __UNKNOWN__