the goalpost is a Siphonaptera if the plexus is a poteen.
sent1: that the cupbearer is intuitionist is right. sent2: that the goalpost libels is correct if there exists something such that it trusses agreement and it is epenthetic. sent3: the plexus is not a Siphonaptera if the cupbearer is empyreal. sent4: the goalpost does gutter throw-in and is a kind of a Minoan if that it is a bond is not right. sent5: if the goalpost is Apocryphal then that the cupbearer is Apocryphal is not wrong. sent6: if there are non-directing things then the goalpost is a kind of a Siphonaptera. sent7: if something gutters throw-in then it is Apocryphal. sent8: if there exists something such that that it is directing and is not a muntjac does not hold then the fact that the cupbearer is a Siphonaptera is true. sent9: if the goalpost is a kind of a poteen the plexus is a Siphonaptera. sent10: if the plexus is a muntjac then the fact that the cupbearer is directing and is a kind of a poteen does not hold. sent11: the fact that something directs but it is not a streamliner is false if it is not a poteen. sent12: the cupbearer is a kind of a Siphonaptera. sent13: if the plexus is a poteen then that the cupbearer does direct but it is not a muntjac is incorrect. sent14: there exists something such that the fact that it is a kind of directing a muntjac is false. sent15: if the goalpost libels then that it is not a bond is not false. sent16: something is empyreal and/or it does not express if it is not non-Apocryphal. sent17: the fact that something is a kind of directing thing that is not a muntjac is not incorrect. sent18: there exists something such that that it is both a poteen and a Siphonaptera is not true. sent19: there exists something such that it trusses agreement and is epenthetic.
void -> assump1: Let's assume that the plexus is a poteen.; sent13 & assump1 -> int1: that that the cupbearer is directing and is not a muntjac is right is wrong.; int1 -> int2: there is something such that that it does direct and it is not a kind of a muntjac is false.;
the fact that the father does direct and is not a streamliner does not hold.
sent11 -> int3: the fact that the father does direct but it is not a streamliner does not hold if it is not a poteen.; sent16 -> int4: if the cupbearer is Apocryphal it is empyreal and/or is not an express.; sent7 -> int5: if the goalpost does gutter throw-in then it is Apocryphal.; sent19 & sent2 -> int6: the fact that the goalpost does libel is right.; sent15 & int6 -> int7: the goalpost is not a bond.; sent4 & int7 -> int8: the goalpost does gutter throw-in and it is a Minoan.; int8 -> int9: the goalpost does gutter throw-in.; int5 & int9 -> int10: the goalpost is Apocryphal.; sent5 & int10 -> int11: the cupbearer is Apocryphal.; int4 & int11 -> int12: the cupbearer either is empyreal or is not an express or both.;
$hypothesis$ = the goalpost is a Siphonaptera if the plexus is a poteen. ; $context$ = sent1: that the cupbearer is intuitionist is right. sent2: that the goalpost libels is correct if there exists something such that it trusses agreement and it is epenthetic. sent3: the plexus is not a Siphonaptera if the cupbearer is empyreal. sent4: the goalpost does gutter throw-in and is a kind of a Minoan if that it is a bond is not right. sent5: if the goalpost is Apocryphal then that the cupbearer is Apocryphal is not wrong. sent6: if there are non-directing things then the goalpost is a kind of a Siphonaptera. sent7: if something gutters throw-in then it is Apocryphal. sent8: if there exists something such that that it is directing and is not a muntjac does not hold then the fact that the cupbearer is a Siphonaptera is true. sent9: if the goalpost is a kind of a poteen the plexus is a Siphonaptera. sent10: if the plexus is a muntjac then the fact that the cupbearer is directing and is a kind of a poteen does not hold. sent11: the fact that something directs but it is not a streamliner is false if it is not a poteen. sent12: the cupbearer is a kind of a Siphonaptera. sent13: if the plexus is a poteen then that the cupbearer does direct but it is not a muntjac is incorrect. sent14: there exists something such that the fact that it is a kind of directing a muntjac is false. sent15: if the goalpost libels then that it is not a bond is not false. sent16: something is empyreal and/or it does not express if it is not non-Apocryphal. sent17: the fact that something is a kind of directing thing that is not a muntjac is not incorrect. sent18: there exists something such that that it is both a poteen and a Siphonaptera is not true. sent19: there exists something such that it trusses agreement and is epenthetic. ; $proof$ = 
void -> assump1: Let's assume that the plexus is a poteen.; sent13 & assump1 -> int1: that that the cupbearer is directing and is not a muntjac is right is wrong.; int1 -> int2: there is something such that that it does direct and it is not a kind of a muntjac is false.; __UNKNOWN__