the pelycosaur does circle abstractionist.
sent1: if the portfolio is extropic then the businessman is an endurance. sent2: the pelycosaur is bimorphemic if the portfolio does circle abstractionist. sent3: there exists something such that it is not non-Solomonic. sent4: the botanist does circle abstractionist. sent5: the portfolio is bimorphemic. sent6: if that the portfolio is non-extropic and/or is bimorphemic is not true then the pelycosaur does not circle abstractionist. sent7: if something is not Lamarckian the fact that it does not award disestablishment and it is a kind of an endurance is not right. sent8: the autoinjector is both not non-extropic and a sexton. sent9: if the fact that something does not award disestablishment but it is an endurance is not true it is not an endurance. sent10: the portfolio is bimorphemic thing that is extropic. sent11: the portfolio is extropic if the pelycosaur is bimorphemic. sent12: if something is both a gemsbok and undrinkable it is not a Lamarckian. sent13: if the pelycosaur is bimorphemic the fact that the portfolio circles abstractionist hold. sent14: the businessman is a kind of a gemsbok. sent15: the Soubise does circle abstractionist. sent16: the businessman circles abstractionist.
sent10 -> int1: the portfolio is extropic.; sent1 & int1 -> int2: the businessman is an endurance.;
the pelycosaur does not circle abstractionist.
sent9 -> int3: if that the businessman does not award disestablishment but it is an endurance is wrong the fact that it is not an endurance is not incorrect.; sent7 -> int4: the fact that the businessman does not award disestablishment but it is an endurance is false if it is not a kind of a Lamarckian.; sent12 -> int5: the businessman is non-Lamarckian if it is both a gemsbok and undrinkable.;
$hypothesis$ = the pelycosaur does circle abstractionist. ; $context$ = sent1: if the portfolio is extropic then the businessman is an endurance. sent2: the pelycosaur is bimorphemic if the portfolio does circle abstractionist. sent3: there exists something such that it is not non-Solomonic. sent4: the botanist does circle abstractionist. sent5: the portfolio is bimorphemic. sent6: if that the portfolio is non-extropic and/or is bimorphemic is not true then the pelycosaur does not circle abstractionist. sent7: if something is not Lamarckian the fact that it does not award disestablishment and it is a kind of an endurance is not right. sent8: the autoinjector is both not non-extropic and a sexton. sent9: if the fact that something does not award disestablishment but it is an endurance is not true it is not an endurance. sent10: the portfolio is bimorphemic thing that is extropic. sent11: the portfolio is extropic if the pelycosaur is bimorphemic. sent12: if something is both a gemsbok and undrinkable it is not a Lamarckian. sent13: if the pelycosaur is bimorphemic the fact that the portfolio circles abstractionist hold. sent14: the businessman is a kind of a gemsbok. sent15: the Soubise does circle abstractionist. sent16: the businessman circles abstractionist. ; $proof$ = 
sent10 -> int1: the portfolio is extropic.; sent1 & int1 -> int2: the businessman is an endurance.; __UNKNOWN__