if the neoclassicist happens then the fundamental does not occur or the circularizing abacus happens or both.
sent1: the littleness does not occur if that both the circularizing abacus and the fundamental occurs does not hold. sent2: if the fact that the fundamental occurs is true then that that the circularizing abacus does not occur and the littleness happens is incorrect is correct. sent3: the masking triggers that the command does not occur or the splenectomy happens or both. sent4: the fundamental and/or the circularizing abacus occurs if the neoclassicistness occurs. sent5: that the fundamental happens is not false if the refraining prime occurs. sent6: if the littleness happens the fundamental does not occur. sent7: that the littleness does not occur yields that the neoclassicist occurs and the photostating depigmentation occurs. sent8: the chimericness and the neoclassicistness happens if the littleness does not occur. sent9: if the fact that that the circularizing abacus does not occur and the littleness occurs is correct does not hold then the littleness does not occur. sent10: the sacrifice does not occur. sent11: the fundamental or the circularizing abacus or both happens. sent12: the heroicness occurs. sent13: the breathlessness does not occur if the simony occurs. sent14: the circularizing Kickapoo happens and/or the dependableness happens. sent15: the seraphicness does not occur. sent16: if the dependableness happens or the staphylococcalness occurs or both the masking does not occur. sent17: the puff occurs. sent18: if the refraining prime does not occur the fact that the circularizing abacus occurs and the fundamental occurs is wrong. sent19: the refraining volatility occurs. sent20: that the fundamental does not occur is caused by that either the neoclassicist or the littleness or both occurs.
void -> assump1: Let's assume that the neoclassicist happens.; assump1 -> int1: the neoclassicistness occurs or the little occurs or both.; int1 & sent20 -> int2: the fundamental does not occur.; int2 -> int3: that the fundamental does not occur or the circularizing abacus happens or both is right.; [assump1] & int3 -> hypothesis;
the chimericness occurs.
$hypothesis$ = if the neoclassicist happens then the fundamental does not occur or the circularizing abacus happens or both. ; $context$ = sent1: the littleness does not occur if that both the circularizing abacus and the fundamental occurs does not hold. sent2: if the fact that the fundamental occurs is true then that that the circularizing abacus does not occur and the littleness happens is incorrect is correct. sent3: the masking triggers that the command does not occur or the splenectomy happens or both. sent4: the fundamental and/or the circularizing abacus occurs if the neoclassicistness occurs. sent5: that the fundamental happens is not false if the refraining prime occurs. sent6: if the littleness happens the fundamental does not occur. sent7: that the littleness does not occur yields that the neoclassicist occurs and the photostating depigmentation occurs. sent8: the chimericness and the neoclassicistness happens if the littleness does not occur. sent9: if the fact that that the circularizing abacus does not occur and the littleness occurs is correct does not hold then the littleness does not occur. sent10: the sacrifice does not occur. sent11: the fundamental or the circularizing abacus or both happens. sent12: the heroicness occurs. sent13: the breathlessness does not occur if the simony occurs. sent14: the circularizing Kickapoo happens and/or the dependableness happens. sent15: the seraphicness does not occur. sent16: if the dependableness happens or the staphylococcalness occurs or both the masking does not occur. sent17: the puff occurs. sent18: if the refraining prime does not occur the fact that the circularizing abacus occurs and the fundamental occurs is wrong. sent19: the refraining volatility occurs. sent20: that the fundamental does not occur is caused by that either the neoclassicist or the littleness or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the neoclassicist happens.; assump1 -> int1: the neoclassicistness occurs or the little occurs or both.; int1 & sent20 -> int2: the fundamental does not occur.; int2 -> int3: that the fundamental does not occur or the circularizing abacus happens or both is right.; [assump1] & int3 -> hypothesis; __PROVED__