the peroxide is not a kind of a Lund.
sent1: the mews is not a Lund but it fishes rosemary. sent2: if something is miotic it is a Lund. sent3: if something does not recline Uta and it does not recline Mastigoproctus then the fact that the rosemary is not a miotic is not incorrect. sent4: if something is not a miotic that it does fish dock and it is a aplite does not hold. sent5: the rosemary is not miotic if something does not recline Uta and reclines Mastigoproctus. sent6: the hobbyhorse does not recline Mastigoproctus. sent7: if something is a nasality it does not fish dock and it is a aplite. sent8: the rosemary does not fish dock. sent9: the hobbyhorse is not fiducial and it does not recline Mastigoproctus. sent10: the fact that the fact that the hobbyhorse does not recline Uta and does recline Mastigoproctus is not true is true. sent11: there exists something such that it reclines Uta and does not recline Mastigoproctus. sent12: if that the hobbyhorse does not recline Uta and does not recline Mastigoproctus is not correct the peroxide is not a Lund. sent13: the peroxide is not a Lund if the hobbyhorse reclines Mastigoproctus. sent14: something is a miotic if it fishes dock. sent15: there exists something such that that it does not recline Mastigoproctus is not false. sent16: the rosemary is a nasality. sent17: the rosemary does not recline Mastigoproctus if there exists something such that it does not recline Uta and it is not miotic. sent18: if the rosemary is a kind of a nasality it does not fish dock. sent19: if something is not an elder the fact that it does not fish Lycosidae and is a monopolist is not true. sent20: something is not nonhuman but it is a crookneck if it does enliven. sent21: if something is a nasality it does not fish dock.
void -> assump1: Let's assume that the fact that the hobbyhorse does not recline Uta and does not recline Mastigoproctus is not false.; assump1 -> int1: something does not recline Uta and it does not recline Mastigoproctus.; int1 & sent3 -> int2: that the rosemary is not miotic is not wrong.; sent7 -> int3: if the rosemary is a nasality it does not fish dock and is a kind of a aplite.; int3 & sent16 -> int4: the fact that the rosemary does not fish dock and is a aplite hold.;
the peroxide is a Lund.
sent2 -> int5: the peroxide is a kind of a Lund if it is not non-miotic.; sent14 -> int6: if the peroxide does fish dock it is a kind of a miotic.;
$hypothesis$ = the peroxide is not a kind of a Lund. ; $context$ = sent1: the mews is not a Lund but it fishes rosemary. sent2: if something is miotic it is a Lund. sent3: if something does not recline Uta and it does not recline Mastigoproctus then the fact that the rosemary is not a miotic is not incorrect. sent4: if something is not a miotic that it does fish dock and it is a aplite does not hold. sent5: the rosemary is not miotic if something does not recline Uta and reclines Mastigoproctus. sent6: the hobbyhorse does not recline Mastigoproctus. sent7: if something is a nasality it does not fish dock and it is a aplite. sent8: the rosemary does not fish dock. sent9: the hobbyhorse is not fiducial and it does not recline Mastigoproctus. sent10: the fact that the fact that the hobbyhorse does not recline Uta and does recline Mastigoproctus is not true is true. sent11: there exists something such that it reclines Uta and does not recline Mastigoproctus. sent12: if that the hobbyhorse does not recline Uta and does not recline Mastigoproctus is not correct the peroxide is not a Lund. sent13: the peroxide is not a Lund if the hobbyhorse reclines Mastigoproctus. sent14: something is a miotic if it fishes dock. sent15: there exists something such that that it does not recline Mastigoproctus is not false. sent16: the rosemary is a nasality. sent17: the rosemary does not recline Mastigoproctus if there exists something such that it does not recline Uta and it is not miotic. sent18: if the rosemary is a kind of a nasality it does not fish dock. sent19: if something is not an elder the fact that it does not fish Lycosidae and is a monopolist is not true. sent20: something is not nonhuman but it is a crookneck if it does enliven. sent21: if something is a nasality it does not fish dock. ; $proof$ = 
void -> assump1: Let's assume that the fact that the hobbyhorse does not recline Uta and does not recline Mastigoproctus is not false.; assump1 -> int1: something does not recline Uta and it does not recline Mastigoproctus.; int1 & sent3 -> int2: that the rosemary is not miotic is not wrong.; sent7 -> int3: if the rosemary is a nasality it does not fish dock and is a kind of a aplite.; int3 & sent16 -> int4: the fact that the rosemary does not fish dock and is a aplite hold.; __UNKNOWN__