the fact that the portable is fictional and antecubital is not correct.
sent1: the portable is antecubital. sent2: there is something such that the fact that it is nonfictional and non-antecubital is false. sent3: if the fact that the brethren is not a Menurae but it is cystic is wrong the permanent is not fictional. sent4: if there is something such that it is a kind of an amateurism the portable is a kind of a subphylum. sent5: that the SEAL is not an amateurism and is not utopian is false. sent6: the portable is a Menurae if there exists something such that the fact that it is not an amateurism and is not utopian is not true. sent7: the fact that something is not a Aristotle and it is not sadomasochistic hold. sent8: something is vehicular if it is a multiversity. sent9: there is something such that the fact that it is stereoscopic and does not criticize Iseult is false. sent10: the portable is a Delbruck. sent11: there exists something such that the fact that it is a kind of an amateurism and it is not utopian is not correct. sent12: the SEAL is fictional if there are utopian things. sent13: the portable is a kind of a antinomian. sent14: the SEAL is a yard if there exists something such that the fact that it is a kind of an amateurism hold. sent15: that the SEAL is not a kind of an amateurism and is utopian does not hold. sent16: the SEAL is a Menurae if there exists something such that the fact that it is a kind of non-fictional thing that is not an amateurism is not correct. sent17: if something is a Menurae it is fictional. sent18: the debater is fictional. sent19: something is not utopian and it is not antecubital. sent20: if there exists something such that the fact that it is both not fictional and not an amateurism is not correct then the SEAL is antecubital.
sent5 -> int1: there exists something such that the fact that it is both not an amateurism and not utopian does not hold.; int1 & sent6 -> int2: the portable is a kind of a Menurae.; sent17 -> int3: if the fact that the portable is a Menurae is not incorrect then it is fictional.; int2 & int3 -> int4: the portable is fictional.; int4 & sent1 -> hypothesis;
that the portable is fictional and it is antecubital is incorrect.
$hypothesis$ = the fact that the portable is fictional and antecubital is not correct. ; $context$ = sent1: the portable is antecubital. sent2: there is something such that the fact that it is nonfictional and non-antecubital is false. sent3: if the fact that the brethren is not a Menurae but it is cystic is wrong the permanent is not fictional. sent4: if there is something such that it is a kind of an amateurism the portable is a kind of a subphylum. sent5: that the SEAL is not an amateurism and is not utopian is false. sent6: the portable is a Menurae if there exists something such that the fact that it is not an amateurism and is not utopian is not true. sent7: the fact that something is not a Aristotle and it is not sadomasochistic hold. sent8: something is vehicular if it is a multiversity. sent9: there is something such that the fact that it is stereoscopic and does not criticize Iseult is false. sent10: the portable is a Delbruck. sent11: there exists something such that the fact that it is a kind of an amateurism and it is not utopian is not correct. sent12: the SEAL is fictional if there are utopian things. sent13: the portable is a kind of a antinomian. sent14: the SEAL is a yard if there exists something such that the fact that it is a kind of an amateurism hold. sent15: that the SEAL is not a kind of an amateurism and is utopian does not hold. sent16: the SEAL is a Menurae if there exists something such that the fact that it is a kind of non-fictional thing that is not an amateurism is not correct. sent17: if something is a Menurae it is fictional. sent18: the debater is fictional. sent19: something is not utopian and it is not antecubital. sent20: if there exists something such that the fact that it is both not fictional and not an amateurism is not correct then the SEAL is antecubital. ; $proof$ = 
sent5 -> int1: there exists something such that the fact that it is both not an amateurism and not utopian does not hold.; int1 & sent6 -> int2: the portable is a kind of a Menurae.; sent17 -> int3: if the fact that the portable is a Menurae is not incorrect then it is fictional.; int2 & int3 -> int4: the portable is fictional.; int4 & sent1 -> hypothesis; __DISPROVED__