both the idle and the low occurs.
sent1: that the exalting Niger does not occur is caused by the denaturing. sent2: the enskying reintroduction happens. sent3: the actableness happens if the nonsurgicalness happens. sent4: if the actableness occurs the expensiveness does not occur. sent5: if the fact that the exalting Niger does not occur is not incorrect the fact that the abstraction occurs is not incorrect. sent6: if the expensiveness does not occur the low happens. sent7: that the exalting Niger does not occur is correct if the denaturing or the nascentness or both occurs. sent8: the Balzacianness happens. sent9: that the identification does not occur and/or the gravy happens does not hold if the nonsurgicalness does not occur. sent10: the non-nonsurgicalness yields the identification. sent11: both the orgy and the pauperization occurs. sent12: the idling and the abstraction occurs if the exalting Niger does not occur. sent13: the confederation happens. sent14: the orgy does not occur if the fact that the fact that the identification does not occur and/or the gravy happens is right is not true. sent15: if that the identification happens or the gravy occurs or both is false the orgy does not occur.
void -> assump1: Let's assume that the nonsurgicalness does not occur.; sent9 & assump1 -> int1: that the identification does not occur or the gravy occurs or both does not hold.; int1 & sent14 -> int2: the orgy does not occur.; sent11 -> int3: the orgy occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the nonsurgicalness happens.; int5 & sent3 -> int6: the actableness occurs.; int6 & sent4 -> int7: the expensiveness does not occur.; int7 & sent6 -> int8: the lowness happens.;
that the idle and the lowness occurs does not hold.
 -> hypothesis;
$hypothesis$ = both the idle and the low occurs. ; $context$ = sent1: that the exalting Niger does not occur is caused by the denaturing. sent2: the enskying reintroduction happens. sent3: the actableness happens if the nonsurgicalness happens. sent4: if the actableness occurs the expensiveness does not occur. sent5: if the fact that the exalting Niger does not occur is not incorrect the fact that the abstraction occurs is not incorrect. sent6: if the expensiveness does not occur the low happens. sent7: that the exalting Niger does not occur is correct if the denaturing or the nascentness or both occurs. sent8: the Balzacianness happens. sent9: that the identification does not occur and/or the gravy happens does not hold if the nonsurgicalness does not occur. sent10: the non-nonsurgicalness yields the identification. sent11: both the orgy and the pauperization occurs. sent12: the idling and the abstraction occurs if the exalting Niger does not occur. sent13: the confederation happens. sent14: the orgy does not occur if the fact that the fact that the identification does not occur and/or the gravy happens is right is not true. sent15: if that the identification happens or the gravy occurs or both is false the orgy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the nonsurgicalness does not occur.; sent9 & assump1 -> int1: that the identification does not occur or the gravy occurs or both does not hold.; int1 & sent14 -> int2: the orgy does not occur.; sent11 -> int3: the orgy occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the nonsurgicalness happens.; int5 & sent3 -> int6: the actableness occurs.; int6 & sent4 -> int7: the expensiveness does not occur.; int7 & sent6 -> int8: the lowness happens.; __UNKNOWN__