if the ladling housewifery occurs the fact that the insemination does not occur is right.
sent1: the insemination happens. sent2: the insemination occurs if both the abusing derelict and the ladling housewifery happens. sent3: the ulnarness happens. sent4: the Swissness occurs. sent5: if the fact that the mariticide does not occur is not false the abusing plastination happens and the abusing pyelography happens. sent6: that both the abusing derelict and the ladling housewifery happens prevents that the insemination occurs. sent7: the waking does not occur if the layout does not occur but the abusing pyelography happens. sent8: the unmaliciousness does not occur if the intensiveness happens. sent9: that the postponement and the layout occurs is false. sent10: if the abusing Naga and the atmosphericness happens then the fact that the impassableness does not occur is not false. sent11: that the abusing derelict does not occur causes that the ladling juror occurs. sent12: the fact that the Appalachians happens and the abusing monotreme occurs is correct. sent13: the abusing derelict and the ulnarness occurs. sent14: if the wake does not occur then the insemination does not occur and the ladling housewifery does not occur. sent15: the contracture does not occur. sent16: the ladling property does not occur. sent17: the communication occurs. sent18: the hopping Shoshonean happens and the artillery occurs. sent19: if the supertwister happens then the gradation does not occur. sent20: the burying glop happens. sent21: the insemination occurs if the ladling housewifery occurs. sent22: the layout does not occur if the fact that both the postponement and the layout occurs is wrong.
sent13 -> int1: the abusing derelict happens.; void -> assump1: Let's assume that the ladling housewifery happens.; int1 & assump1 -> int2: the abusing derelict happens and the ladling housewifery happens.; sent6 & int2 -> int3: the insemination does not occur.; [assump1] & int3 -> hypothesis;
the ladling juror happens.
sent22 & sent9 -> int4: that the layout does not occur hold.;
$hypothesis$ = if the ladling housewifery occurs the fact that the insemination does not occur is right. ; $context$ = sent1: the insemination happens. sent2: the insemination occurs if both the abusing derelict and the ladling housewifery happens. sent3: the ulnarness happens. sent4: the Swissness occurs. sent5: if the fact that the mariticide does not occur is not false the abusing plastination happens and the abusing pyelography happens. sent6: that both the abusing derelict and the ladling housewifery happens prevents that the insemination occurs. sent7: the waking does not occur if the layout does not occur but the abusing pyelography happens. sent8: the unmaliciousness does not occur if the intensiveness happens. sent9: that the postponement and the layout occurs is false. sent10: if the abusing Naga and the atmosphericness happens then the fact that the impassableness does not occur is not false. sent11: that the abusing derelict does not occur causes that the ladling juror occurs. sent12: the fact that the Appalachians happens and the abusing monotreme occurs is correct. sent13: the abusing derelict and the ulnarness occurs. sent14: if the wake does not occur then the insemination does not occur and the ladling housewifery does not occur. sent15: the contracture does not occur. sent16: the ladling property does not occur. sent17: the communication occurs. sent18: the hopping Shoshonean happens and the artillery occurs. sent19: if the supertwister happens then the gradation does not occur. sent20: the burying glop happens. sent21: the insemination occurs if the ladling housewifery occurs. sent22: the layout does not occur if the fact that both the postponement and the layout occurs is wrong. ; $proof$ = 
sent13 -> int1: the abusing derelict happens.; void -> assump1: Let's assume that the ladling housewifery happens.; int1 & assump1 -> int2: the abusing derelict happens and the ladling housewifery happens.; sent6 & int2 -> int3: the insemination does not occur.; [assump1] & int3 -> hypothesis; __PROVED__