the archerfish is not a pellitory-of-the-wall but it is an alderman.
sent1: if something does not shorten it does not activate plagiarist. sent2: if the chambermaid is a bran then the mesomorph is a bitch. sent3: something is a nylon or it is not exchangeable or both if it is a bitch. sent4: the runaway is a breech. sent5: the chambermaid is a bitch and/or does not impact dieter. sent6: if the fact that the chambermaid impacts dieter is right the mesomorph is a bitch. sent7: if the archerfish is an alderman then the fact that the runaway is exchangeable and/or not an alderman does not hold. sent8: that if the runaway is exchangeable the runaway impacts dieter is correct. sent9: the archerfish is not a pellitory-of-the-wall but it is a kind of an alderman if the runaway does not activate plagiarist. sent10: the mesomorph is a nylon and/or it impacts dieter. sent11: the runaway is healthy and/or an alderman. sent12: the archerfish does not activate plagiarist. sent13: if the mesomorph is a kind of a bitch then it either is a kind of a nylon or is exchangeable or both. sent14: the mesomorph does activate plagiarist and/or it is not exchangeable if the chambermaid is a bitch. sent15: that the archerfish is a juvenile is right. sent16: the runaway is exchangeable if it does shorten. sent17: if something shortens then that it is both not a pellitory-of-the-wall and an alderman does not hold. sent18: the chambermaid is a nylon if it impacts dieter. sent19: something is a bran and/or it is not a bitch if it activates plagiarist. sent20: the fact that the runaway does not shorten and it is not a nylon is not true if it is not exchangeable. sent21: the chambermaid is exchangeable. sent22: either the chambermaid is a kind of a bran or it impacts dieter or both.
void -> assump1: Let's assume that the runaway does shorten.; sent16 & assump1 -> int1: the runaway is not unexchangeable.; sent3 -> int2: the mesomorph either is a nylon or is not exchangeable or both if it is a bitch.; sent22 & sent2 & sent6 -> int3: the mesomorph is a bitch.; int2 & int3 -> int4: the mesomorph is a nylon and/or it is not exchangeable.; sent1 -> int5: if the runaway does not shorten it does not activate plagiarist.;
that the archerfish is not a pellitory-of-the-wall but it is an alderman is not true.
sent17 -> int6: if the archerfish shortens then the fact that it is not a pellitory-of-the-wall and it is an alderman does not hold.;
$hypothesis$ = the archerfish is not a pellitory-of-the-wall but it is an alderman. ; $context$ = sent1: if something does not shorten it does not activate plagiarist. sent2: if the chambermaid is a bran then the mesomorph is a bitch. sent3: something is a nylon or it is not exchangeable or both if it is a bitch. sent4: the runaway is a breech. sent5: the chambermaid is a bitch and/or does not impact dieter. sent6: if the fact that the chambermaid impacts dieter is right the mesomorph is a bitch. sent7: if the archerfish is an alderman then the fact that the runaway is exchangeable and/or not an alderman does not hold. sent8: that if the runaway is exchangeable the runaway impacts dieter is correct. sent9: the archerfish is not a pellitory-of-the-wall but it is a kind of an alderman if the runaway does not activate plagiarist. sent10: the mesomorph is a nylon and/or it impacts dieter. sent11: the runaway is healthy and/or an alderman. sent12: the archerfish does not activate plagiarist. sent13: if the mesomorph is a kind of a bitch then it either is a kind of a nylon or is exchangeable or both. sent14: the mesomorph does activate plagiarist and/or it is not exchangeable if the chambermaid is a bitch. sent15: that the archerfish is a juvenile is right. sent16: the runaway is exchangeable if it does shorten. sent17: if something shortens then that it is both not a pellitory-of-the-wall and an alderman does not hold. sent18: the chambermaid is a nylon if it impacts dieter. sent19: something is a bran and/or it is not a bitch if it activates plagiarist. sent20: the fact that the runaway does not shorten and it is not a nylon is not true if it is not exchangeable. sent21: the chambermaid is exchangeable. sent22: either the chambermaid is a kind of a bran or it impacts dieter or both. ; $proof$ = 
void -> assump1: Let's assume that the runaway does shorten.; sent16 & assump1 -> int1: the runaway is not unexchangeable.; sent3 -> int2: the mesomorph either is a nylon or is not exchangeable or both if it is a bitch.; sent22 & sent2 & sent6 -> int3: the mesomorph is a bitch.; int2 & int3 -> int4: the mesomorph is a nylon and/or it is not exchangeable.; sent1 -> int5: if the runaway does not shorten it does not activate plagiarist.; __UNKNOWN__