the cardsharp is not a kind of a baldachin.
sent1: if something that is imitative does not eviscerate then it does quiver cardsharp. sent2: the cardsharp is a ornithine. sent3: that the quarryman does not compromise raceway and is blastocoelic does not hold if the outcast is not a dashboard. sent4: if a Embiotocidae is a Owens it is not a dashboard. sent5: the fact that something is not a baldachin and it is not nilpotent is not correct if it is conquerable. sent6: if the outcast is not exodontic it is both a Owens and capitular. sent7: the cardsharp is not a baldachin if the quarryman is a baldachin. sent8: the blancmange is a kind of a baldachin. sent9: the outcast is a Embiotocidae if the vichyssoise is a Embiotocidae. sent10: if the fact that something is not a kind of a baldachin and is not nilpotent is false it is a baldachin. sent11: if the teletypewriter is prolix but it is not rh-positive it is a kind of a baldachin. sent12: the cardsharp is a ornithine and not counterfeit. sent13: the polypropenonitrile is a baldachin. sent14: if the cardsharp is homonymic and does not compromise Zurvan then it is a snowshoe. sent15: the vichyssoise is a Embiotocidae. sent16: if something is a ornithine but it is not a kind of a counterfeit then it is a baldachin. sent17: if the fact that something does not compromise raceway and is blastocoelic is not right then it is not unconquerable.
sent16 -> int1: the fact that the cardsharp is a baldachin hold if it is a ornithine that is not a counterfeit.; int1 & sent12 -> hypothesis;
the cardsharp is not a baldachin.
sent10 -> int2: if the fact that the quarryman is not a baldachin and is not nilpotent does not hold the fact that it is a kind of a baldachin is true.; sent5 -> int3: if the quarryman is not unconquerable that it is not a baldachin and it is not nilpotent is not right.; sent17 -> int4: if the fact that the quarryman does not compromise raceway but it is blastocoelic does not hold it is not unconquerable.; sent4 -> int5: the outcast is not a dashboard if it is a Embiotocidae and a Owens.; sent9 & sent15 -> int6: the outcast is a Embiotocidae.;
$hypothesis$ = the cardsharp is not a kind of a baldachin. ; $context$ = sent1: if something that is imitative does not eviscerate then it does quiver cardsharp. sent2: the cardsharp is a ornithine. sent3: that the quarryman does not compromise raceway and is blastocoelic does not hold if the outcast is not a dashboard. sent4: if a Embiotocidae is a Owens it is not a dashboard. sent5: the fact that something is not a baldachin and it is not nilpotent is not correct if it is conquerable. sent6: if the outcast is not exodontic it is both a Owens and capitular. sent7: the cardsharp is not a baldachin if the quarryman is a baldachin. sent8: the blancmange is a kind of a baldachin. sent9: the outcast is a Embiotocidae if the vichyssoise is a Embiotocidae. sent10: if the fact that something is not a kind of a baldachin and is not nilpotent is false it is a baldachin. sent11: if the teletypewriter is prolix but it is not rh-positive it is a kind of a baldachin. sent12: the cardsharp is a ornithine and not counterfeit. sent13: the polypropenonitrile is a baldachin. sent14: if the cardsharp is homonymic and does not compromise Zurvan then it is a snowshoe. sent15: the vichyssoise is a Embiotocidae. sent16: if something is a ornithine but it is not a kind of a counterfeit then it is a baldachin. sent17: if the fact that something does not compromise raceway and is blastocoelic is not right then it is not unconquerable. ; $proof$ = 
sent16 -> int1: the fact that the cardsharp is a baldachin hold if it is a ornithine that is not a counterfeit.; int1 & sent12 -> hypothesis; __DISPROVED__