the puerperalness occurs.
sent1: the deactivating Brickellia happens and/or the parrying occurs if the puerperalness does not occur. sent2: if the sedimentariness does not occur the parrying and the hysterotomy happens. sent3: the BAN happens and the balsamicness happens. sent4: if the fact that the declawing Mobile happens is not incorrect then the BAN does not occur. sent5: the fact that the puerperalness occurs but the hysterotomy does not occur is not right if the balsamicness does not occur. sent6: the goal happens. sent7: if the equilibrating does not occur the Sovietsness occurs. sent8: if the declawing Mobile does not occur that both the neonatalness and the puerperalness happens is incorrect. sent9: that the balsamicness occurs is right. sent10: the telemetry occurs. sent11: the lenience does not occur. sent12: the puerperalness happens if the deactivating Brickellia does not occur. sent13: both the telemetry and the stridulation occurs if the neonatalness does not occur. sent14: that the balsamicness does not occur hold if not the sedimentariness but the lenience happens. sent15: if the fact that the stridulation occurs and/or the BAN occurs is not correct the declawing Mobile does not occur. sent16: if that the stridulation does not occur or the BAN does not occur or both is not true then the declawing Mobile does not occur. sent17: if the telemetry does not occur that the stridulation occurs or the BAN occurs or both is wrong. sent18: if that the confederating narcissist does not occur hold then the sedimentariness does not occur and the lenience happens. sent19: the sedimentariness does not occur and the lenience does not occur. sent20: the hysterotomy occurs. sent21: that the deactivating Sauk does not occur is not false if the bulldoging happens. sent22: if the neonatalness and/or the declawing Mobile occurs the BAN does not occur.
void -> assump1: Let's assume that that the neonatalness occurs is right.; assump1 -> int1: the neonatalness happens and/or the declawing Mobile happens.; int1 & sent22 -> int2: the BAN does not occur.; sent3 -> int3: the BAN occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the neonatalness does not occur is correct.; int5 & sent13 -> int6: the telemetry happens and the stridulation occurs.; int6 -> int7: the stridulation happens.; sent19 -> int8: the sedimentariness does not occur.; sent2 & int8 -> int9: the parrying and the hysterotomy occurs.; int9 -> int10: the parrying happens.; int7 & int10 -> int11: the stridulation occurs and the parrying happens.;
the puerperalness does not occur.
$hypothesis$ = the puerperalness occurs. ; $context$ = sent1: the deactivating Brickellia happens and/or the parrying occurs if the puerperalness does not occur. sent2: if the sedimentariness does not occur the parrying and the hysterotomy happens. sent3: the BAN happens and the balsamicness happens. sent4: if the fact that the declawing Mobile happens is not incorrect then the BAN does not occur. sent5: the fact that the puerperalness occurs but the hysterotomy does not occur is not right if the balsamicness does not occur. sent6: the goal happens. sent7: if the equilibrating does not occur the Sovietsness occurs. sent8: if the declawing Mobile does not occur that both the neonatalness and the puerperalness happens is incorrect. sent9: that the balsamicness occurs is right. sent10: the telemetry occurs. sent11: the lenience does not occur. sent12: the puerperalness happens if the deactivating Brickellia does not occur. sent13: both the telemetry and the stridulation occurs if the neonatalness does not occur. sent14: that the balsamicness does not occur hold if not the sedimentariness but the lenience happens. sent15: if the fact that the stridulation occurs and/or the BAN occurs is not correct the declawing Mobile does not occur. sent16: if that the stridulation does not occur or the BAN does not occur or both is not true then the declawing Mobile does not occur. sent17: if the telemetry does not occur that the stridulation occurs or the BAN occurs or both is wrong. sent18: if that the confederating narcissist does not occur hold then the sedimentariness does not occur and the lenience happens. sent19: the sedimentariness does not occur and the lenience does not occur. sent20: the hysterotomy occurs. sent21: that the deactivating Sauk does not occur is not false if the bulldoging happens. sent22: if the neonatalness and/or the declawing Mobile occurs the BAN does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the neonatalness occurs is right.; assump1 -> int1: the neonatalness happens and/or the declawing Mobile happens.; int1 & sent22 -> int2: the BAN does not occur.; sent3 -> int3: the BAN occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the neonatalness does not occur is correct.; int5 & sent13 -> int6: the telemetry happens and the stridulation occurs.; int6 -> int7: the stridulation happens.; sent19 -> int8: the sedimentariness does not occur.; sent2 & int8 -> int9: the parrying and the hysterotomy occurs.; int9 -> int10: the parrying happens.; int7 & int10 -> int11: the stridulation occurs and the parrying happens.; __UNKNOWN__