the glyptography is not a manubrium or it is not a spark or both.
sent1: something is not a kind of a manubrium. sent2: that the blackpoll is a sickness is right if that the propman is a kind of a sickness is right. sent3: if the blackpoll is a kind of a sickness then the busbar is robotics. sent4: the fact that that either something is a Mississippian or it is a strength or both is not wrong is not true if it does not disabuse blackpoll. sent5: the glyptography is a NB. sent6: if something does not disabuse blackpoll the fact that it is not a manubrium and/or does not spark is incorrect. sent7: if something is alopecic it is a NB. sent8: the beat is a winger and it is a kind of a Amentiferae. sent9: there exists something such that it does not disabuse blackpoll. sent10: if the glyptography is a kind of a NB and it does disabuse blackpoll it is not a manubrium. sent11: that the busbar is alopecic hold if the beat is a Amentiferae. sent12: the fact that the bitok is a enterolith and/or it is immature does not hold. sent13: something is a kind of a enterolith or is immature or both.
sent12 -> int1: there exists something such that that it is a kind of a enterolith and/or it is immature is incorrect.;
that the glyptography is not a manubrium and/or it is not a spark is not right.
sent6 -> int2: the fact that the fact that the glyptography is not a kind of a manubrium and/or is not a spark is not false does not hold if it does not disabuse blackpoll.; sent7 -> int3: if the fact that the busbar is alopecic hold the fact that it is a NB is not false.; sent8 -> int4: the beat is a Amentiferae.; sent11 & int4 -> int5: the busbar is alopecic.; int3 & int5 -> int6: the busbar is a NB.;
$hypothesis$ = the glyptography is not a manubrium or it is not a spark or both. ; $context$ = sent1: something is not a kind of a manubrium. sent2: that the blackpoll is a sickness is right if that the propman is a kind of a sickness is right. sent3: if the blackpoll is a kind of a sickness then the busbar is robotics. sent4: the fact that that either something is a Mississippian or it is a strength or both is not wrong is not true if it does not disabuse blackpoll. sent5: the glyptography is a NB. sent6: if something does not disabuse blackpoll the fact that it is not a manubrium and/or does not spark is incorrect. sent7: if something is alopecic it is a NB. sent8: the beat is a winger and it is a kind of a Amentiferae. sent9: there exists something such that it does not disabuse blackpoll. sent10: if the glyptography is a kind of a NB and it does disabuse blackpoll it is not a manubrium. sent11: that the busbar is alopecic hold if the beat is a Amentiferae. sent12: the fact that the bitok is a enterolith and/or it is immature does not hold. sent13: something is a kind of a enterolith or is immature or both. ; $proof$ = 
sent12 -> int1: there exists something such that that it is a kind of a enterolith and/or it is immature is incorrect.; __UNKNOWN__