the lecturer is a centennial and is a dictyosome.
sent1: the fact that something is a amygdalotomy and is not diamantine is false if it is an everyman. sent2: the lecturer is a kind of a dictyosome if it is diamantine. sent3: something is a kind of non-astrological thing that is unofficial. sent4: that something is a dictyosome is right if the fact that it is a amygdalotomy and it is not diamantine is wrong. sent5: if something that does not reship is not a ration then the lecturer is an everyman. sent6: if a non-ontogenetic thing is not a kind of a parka the muffle is a centennial. sent7: something is not a parka and it is not urceolate if it is not ontogenetic. sent8: something is a dictyosome if it is diamantine. sent9: if the Bushman is burrlike but not a cant the ZIP is a kind of a parka. sent10: something does not reship and it does not ration. sent11: the fact that the lecturer is a amygdalotomy that is diamantine is not correct if it is an everyman. sent12: everything is burrlike and it is not a cant. sent13: the fact that something is not non-centennial and it is a dictyosome is incorrect if it is not a kind of a parka. sent14: something is both not a parka and ontogenetic. sent15: if the ZIP is a kind of a parka then the muffle is not a kind of a parka and it is not ontogenetic. sent16: there exists something such that it does not reship. sent17: the lecturer is a kind of a centennial if that the cottonmouth is not a Vanderbilt is not incorrect. sent18: something is not a parka if the fact that it is a kind of a Vanderbilt or it is not ontogenetic or both is true.
sent12 -> int1: the Bushman is a kind of burrlike thing that does not cant.; int1 & sent9 -> int2: the ZIP is a parka.; int2 & sent15 -> int3: the muffle is not a parka and is not ontogenetic.; int3 -> int4: there exists something such that it is not a parka and it is not ontogenetic.; sent4 -> int5: the lecturer is a kind of a dictyosome if the fact that it is a kind of a amygdalotomy that is not diamantine is incorrect.; sent1 -> int6: that the lecturer is a amygdalotomy but it is not diamantine is incorrect if it is a kind of an everyman.; sent10 & sent5 -> int7: the lecturer is an everyman.; int6 & int7 -> int8: that the lecturer is both a amygdalotomy and not diamantine is not true.; int5 & int8 -> int9: the lecturer is a kind of a dictyosome.;
the fact that the lecturer is a kind of centennial thing that is a dictyosome is not true.
sent13 -> int10: if the lecturer is not a parka the fact that it is centennial and is a kind of a dictyosome is incorrect.; sent18 -> int11: the lecturer is not a parka if it is a Vanderbilt or it is not ontogenetic or both.;
$hypothesis$ = the lecturer is a centennial and is a dictyosome. ; $context$ = sent1: the fact that something is a amygdalotomy and is not diamantine is false if it is an everyman. sent2: the lecturer is a kind of a dictyosome if it is diamantine. sent3: something is a kind of non-astrological thing that is unofficial. sent4: that something is a dictyosome is right if the fact that it is a amygdalotomy and it is not diamantine is wrong. sent5: if something that does not reship is not a ration then the lecturer is an everyman. sent6: if a non-ontogenetic thing is not a kind of a parka the muffle is a centennial. sent7: something is not a parka and it is not urceolate if it is not ontogenetic. sent8: something is a dictyosome if it is diamantine. sent9: if the Bushman is burrlike but not a cant the ZIP is a kind of a parka. sent10: something does not reship and it does not ration. sent11: the fact that the lecturer is a amygdalotomy that is diamantine is not correct if it is an everyman. sent12: everything is burrlike and it is not a cant. sent13: the fact that something is not non-centennial and it is a dictyosome is incorrect if it is not a kind of a parka. sent14: something is both not a parka and ontogenetic. sent15: if the ZIP is a kind of a parka then the muffle is not a kind of a parka and it is not ontogenetic. sent16: there exists something such that it does not reship. sent17: the lecturer is a kind of a centennial if that the cottonmouth is not a Vanderbilt is not incorrect. sent18: something is not a parka if the fact that it is a kind of a Vanderbilt or it is not ontogenetic or both is true. ; $proof$ = 
sent12 -> int1: the Bushman is a kind of burrlike thing that does not cant.; int1 & sent9 -> int2: the ZIP is a parka.; int2 & sent15 -> int3: the muffle is not a parka and is not ontogenetic.; int3 -> int4: there exists something such that it is not a parka and it is not ontogenetic.; sent4 -> int5: the lecturer is a kind of a dictyosome if the fact that it is a kind of a amygdalotomy that is not diamantine is incorrect.; sent1 -> int6: that the lecturer is a amygdalotomy but it is not diamantine is incorrect if it is a kind of an everyman.; sent10 & sent5 -> int7: the lecturer is an everyman.; int6 & int7 -> int8: that the lecturer is both a amygdalotomy and not diamantine is not true.; int5 & int8 -> int9: the lecturer is a kind of a dictyosome.; __UNKNOWN__