the non-federalness and the non-endocentricness happens.
sent1: the leakiness does not occur. sent2: the federalness does not occur. sent3: the negating easel does not occur. sent4: that both the clown and the tagging sleeve occurs prevents that the frontness occurs. sent5: that the authorization does not occur triggers that the pinealness and the clown happens. sent6: if the firmamentalness does not occur then the federalness does not occur and the endocentricness does not occur. sent7: if the fact that both the gauging gingham and the coitalness happens is not true that the endocentricness does not occur is correct. sent8: the elysianness and the tagging edification happens. sent9: if the nonreversibleness does not occur both the firmamentalness and the hydrolyzableness happens. sent10: both the fronting and the hydrolyzableness occurs. sent11: the clown and the authorization occurs. sent12: that the federalness does not occur is triggered by that the firmamentalness does not occur. sent13: the firmamentalness does not occur and the tagging sleeve does not occur if the endocentricness does not occur. sent14: if the falsification does not occur the fact that the gauging gingham and the coitalness occurs is not right. sent15: the gastroenterostomy happens and the biosystematicness occurs. sent16: the gripping happens if that the front but not the gripping happens does not hold. sent17: the fact that the falsification does not occur is not incorrect if the tagging kingsnake happens and the overawing frosting does not occur. sent18: if the clowning does not occur then that the non-federalness and the non-endocentricness happens is not true.
sent11 -> int1: that the clown occurs is right.; void -> assump1: Let's assume that the tagging sleeve occurs.; int1 & assump1 -> int2: both the clown and the tagging sleeve occurs.; int2 & sent4 -> int3: the front does not occur.; sent10 -> int4: the frontness happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tagging sleeve does not occur.;
the fact that the federalness does not occur and the endocentricness does not occur is not right.
$hypothesis$ = the non-federalness and the non-endocentricness happens. ; $context$ = sent1: the leakiness does not occur. sent2: the federalness does not occur. sent3: the negating easel does not occur. sent4: that both the clown and the tagging sleeve occurs prevents that the frontness occurs. sent5: that the authorization does not occur triggers that the pinealness and the clown happens. sent6: if the firmamentalness does not occur then the federalness does not occur and the endocentricness does not occur. sent7: if the fact that both the gauging gingham and the coitalness happens is not true that the endocentricness does not occur is correct. sent8: the elysianness and the tagging edification happens. sent9: if the nonreversibleness does not occur both the firmamentalness and the hydrolyzableness happens. sent10: both the fronting and the hydrolyzableness occurs. sent11: the clown and the authorization occurs. sent12: that the federalness does not occur is triggered by that the firmamentalness does not occur. sent13: the firmamentalness does not occur and the tagging sleeve does not occur if the endocentricness does not occur. sent14: if the falsification does not occur the fact that the gauging gingham and the coitalness occurs is not right. sent15: the gastroenterostomy happens and the biosystematicness occurs. sent16: the gripping happens if that the front but not the gripping happens does not hold. sent17: the fact that the falsification does not occur is not incorrect if the tagging kingsnake happens and the overawing frosting does not occur. sent18: if the clowning does not occur then that the non-federalness and the non-endocentricness happens is not true. ; $proof$ = 
sent11 -> int1: that the clown occurs is right.; void -> assump1: Let's assume that the tagging sleeve occurs.; int1 & assump1 -> int2: both the clown and the tagging sleeve occurs.; int2 & sent4 -> int3: the front does not occur.; sent10 -> int4: the frontness happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tagging sleeve does not occur.; __UNKNOWN__