if the congregationalness happens that the clawing arms does not occur hold.
sent1: the non-equinoctialness is caused by that the numerologicalness occurs and/or the clawing plumbism occurs. sent2: if the fact that the arithmeticalness does not occur and/or the clapping marginalization does not occur is wrong then that the one-hitter happens hold. sent3: the clawing lasso happens. sent4: if that the analyticness occurs is not false then the remediableness occurs. sent5: the monotypicness happens. sent6: the curatorialness happens and/or the ambulacralness happens. sent7: the clawing arms occurs if either the arithmeticalness does not occur or the clapping marginalization does not occur or both. sent8: the testing occurs if the Doomsday occurs. sent9: that the orchestralness happens hold if that the elementalness occurs is true. sent10: if the clapping comfit does not occur and/or the irremovableness does not occur the corroding ticket does not occur. sent11: the clapping sidewall does not occur if the inexactness happens. sent12: the fact that the non-curatorialness or the non-coloringness or both occurs does not hold. sent13: the heeding does not occur if the importing occurs. sent14: that the congregationalness does not occur is caused by that the one-hitter or the sedimentariness or both happens. sent15: the tidiness occurs if the clapping emu occurs. sent16: the non-cataplasticness is prevented by that the conceptualization happens. sent17: if the fact that the clapping storyteller does not occur and/or the catadromousness does not occur does not hold then the cheliferousness happens. sent18: that the clapping Laver does not occur and/or the emergence occurs is not false. sent19: the clawing trigonometrician occurs if the testing happens.
void -> assump2: Let's assume that the congregationalness happens.; void -> assump1: Let's assume that the fact that the arithmeticalness does not occur and/or the clapping marginalization does not occur is incorrect.; sent2 & assump1 -> int1: that the one-hitter occurs hold.; int1 -> int2: the one-hitter happens and/or the sedimentariness happens.; sent14 & int2 -> int3: the congregationalness does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the arithmeticalness does not occur and/or the clapping marginalization does not occur.;
$hypothesis$ = if the congregationalness happens that the clawing arms does not occur hold. ; $context$ = sent1: the non-equinoctialness is caused by that the numerologicalness occurs and/or the clawing plumbism occurs. sent2: if the fact that the arithmeticalness does not occur and/or the clapping marginalization does not occur is wrong then that the one-hitter happens hold. sent3: the clawing lasso happens. sent4: if that the analyticness occurs is not false then the remediableness occurs. sent5: the monotypicness happens. sent6: the curatorialness happens and/or the ambulacralness happens. sent7: the clawing arms occurs if either the arithmeticalness does not occur or the clapping marginalization does not occur or both. sent8: the testing occurs if the Doomsday occurs. sent9: that the orchestralness happens hold if that the elementalness occurs is true. sent10: if the clapping comfit does not occur and/or the irremovableness does not occur the corroding ticket does not occur. sent11: the clapping sidewall does not occur if the inexactness happens. sent12: the fact that the non-curatorialness or the non-coloringness or both occurs does not hold. sent13: the heeding does not occur if the importing occurs. sent14: that the congregationalness does not occur is caused by that the one-hitter or the sedimentariness or both happens. sent15: the tidiness occurs if the clapping emu occurs. sent16: the non-cataplasticness is prevented by that the conceptualization happens. sent17: if the fact that the clapping storyteller does not occur and/or the catadromousness does not occur does not hold then the cheliferousness happens. sent18: that the clapping Laver does not occur and/or the emergence occurs is not false. sent19: the clawing trigonometrician occurs if the testing happens. ; $proof$ = 
void -> assump2: Let's assume that the congregationalness happens.; void -> assump1: Let's assume that the fact that the arithmeticalness does not occur and/or the clapping marginalization does not occur is incorrect.; sent2 & assump1 -> int1: that the one-hitter occurs hold.; int1 -> int2: the one-hitter happens and/or the sedimentariness happens.; sent14 & int2 -> int3: the congregationalness does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the arithmeticalness does not occur and/or the clapping marginalization does not occur.; __UNKNOWN__