the bookbinder is not a Laban but it is epigastric.
sent1: the caricaturist is a kind of a Laban if there is something such that the fact that it Latinizes and/or is not a kind of a cushaw is wrong. sent2: if something is not a kind of a chine then it is a kind of a Virgilia. sent3: the sarcenet chines. sent4: if something is not a cushaw it is not a Virgilia. sent5: the ambassador is not a Virgilia if that it is not a cushaw is true. sent6: the caricaturist is a Laban if there exists something such that that it Latinizes and/or it is a cushaw is wrong. sent7: if the caricaturist is a kind of a Virgilia the fact that the bookbinder is not a kind of a Laban but it is epigastric does not hold. sent8: if the fact that the caricaturist is a Laban is correct then the bookbinder is not a Laban and is epigastric. sent9: the sarcenet is a kind of a noseband that is a chine. sent10: if the fact that the caricaturist is epigastric and it is a chine does not hold then the posthouse is not a chine. sent11: the fact that the posthouse is a cushaw or not autarchic or both is not false if it is a kind of a Laban. sent12: the bookbinder is not a Laban. sent13: the caricaturist is not a Virgilia. sent14: the culotte deposes Saba. sent15: the sarcenet is not epigastric. sent16: something is not a Laban if that it is not a noseband is incorrect. sent17: the bookbinder is not a Laban but a noseband. sent18: the ambassador is not a noseband and resubmits sixtieth. sent19: there is something such that it is a kind of a cushaw. sent20: if something Latinizes and/or it is not a cushaw it is not a kind of a Virgilia.
sent20 -> int1: if the ambassador does Latinize and/or is not a cushaw then it is not a kind of a Virgilia.; void -> assump1: Let's assume that the ambassador does Latinize or it is not a kind of a cushaw or both.; int1 & assump1 -> int2: the ambassador is not a Virgilia.; sent2 -> int3: the ambassador is a Virgilia if it is not a chine.;
the fact that the bookbinder is not a Laban but epigastric is wrong.
$hypothesis$ = the bookbinder is not a Laban but it is epigastric. ; $context$ = sent1: the caricaturist is a kind of a Laban if there is something such that the fact that it Latinizes and/or is not a kind of a cushaw is wrong. sent2: if something is not a kind of a chine then it is a kind of a Virgilia. sent3: the sarcenet chines. sent4: if something is not a cushaw it is not a Virgilia. sent5: the ambassador is not a Virgilia if that it is not a cushaw is true. sent6: the caricaturist is a Laban if there exists something such that that it Latinizes and/or it is a cushaw is wrong. sent7: if the caricaturist is a kind of a Virgilia the fact that the bookbinder is not a kind of a Laban but it is epigastric does not hold. sent8: if the fact that the caricaturist is a Laban is correct then the bookbinder is not a Laban and is epigastric. sent9: the sarcenet is a kind of a noseband that is a chine. sent10: if the fact that the caricaturist is epigastric and it is a chine does not hold then the posthouse is not a chine. sent11: the fact that the posthouse is a cushaw or not autarchic or both is not false if it is a kind of a Laban. sent12: the bookbinder is not a Laban. sent13: the caricaturist is not a Virgilia. sent14: the culotte deposes Saba. sent15: the sarcenet is not epigastric. sent16: something is not a Laban if that it is not a noseband is incorrect. sent17: the bookbinder is not a Laban but a noseband. sent18: the ambassador is not a noseband and resubmits sixtieth. sent19: there is something such that it is a kind of a cushaw. sent20: if something Latinizes and/or it is not a cushaw it is not a kind of a Virgilia. ; $proof$ = 
sent20 -> int1: if the ambassador does Latinize and/or is not a cushaw then it is not a kind of a Virgilia.; void -> assump1: Let's assume that the ambassador does Latinize or it is not a kind of a cushaw or both.; int1 & assump1 -> int2: the ambassador is not a Virgilia.; sent2 -> int3: the ambassador is a Virgilia if it is not a chine.; __UNKNOWN__