the silver is not a Cnidaria.
sent1: if the ormolu is a intestacy then the wheeze is a intestacy. sent2: if the silver is Singhalese and/or it is uncontroversial then the ormolu is not a Cnidaria. sent3: the wheeze is not two-piece. sent4: the silver is not a Cnidaria if the redshank is numerical. sent5: that the redshank carols privateer and is uncontroversial if the wheeze does not carols privateer is not false. sent6: if the ormolu is Singhalese then the fact that it is uncontroversial hold. sent7: if the redshank does not carol privateer then the fact that the ormolu carol privateer is not false. sent8: if something is a intestacy then it is a kind of a two-piece. sent9: the redshank is numerical thing that carols privateer if the wheeze is not numerical. sent10: if the ormolu is not uncontroversial the fact that the silver is not a Cnidaria and is Singhalese is wrong. sent11: if the redshank is uncontroversial then the wheeze is uncontroversial. sent12: the ormolu is Singhalese. sent13: if something is a intestacy it is Singhalese. sent14: the ormolu is a Cnidaria. sent15: the silver is both a Cnidaria and two-piece if the fact that the redshank is not a Cnidaria is correct. sent16: the wheeze is not a two-piece if the redshank is uncontroversial and/or it does carol privateer. sent17: if something is Singhalese it is a kind of a Cnidaria. sent18: the redshank is not numerical if the wheeze is a kind of a two-piece and/or it does carol privateer. sent19: if the ormolu is uncontroversial the wheeze is uncontroversial but it does not carol privateer. sent20: if the wheeze does not carol privateer the redshank does carol privateer and is a intestacy.
sent6 & sent12 -> int1: the ormolu is uncontroversial.; int1 & sent19 -> int2: the wheeze is a kind of uncontroversial thing that does not carol privateer.; int2 -> int3: the wheeze does not carol privateer.; int3 & sent20 -> int4: the redshank does carol privateer and is a kind of a intestacy.; int4 -> int5: the redshank is a kind of a intestacy.; sent8 -> int6: if the redshank is a intestacy it is a two-piece.; int5 & int6 -> int7: the redshank is two-piece.; int7 -> int8: the redshank either is a two-piece or is numerical or both.;
the silver is a Cnidaria.
$hypothesis$ = the silver is not a Cnidaria. ; $context$ = sent1: if the ormolu is a intestacy then the wheeze is a intestacy. sent2: if the silver is Singhalese and/or it is uncontroversial then the ormolu is not a Cnidaria. sent3: the wheeze is not two-piece. sent4: the silver is not a Cnidaria if the redshank is numerical. sent5: that the redshank carols privateer and is uncontroversial if the wheeze does not carols privateer is not false. sent6: if the ormolu is Singhalese then the fact that it is uncontroversial hold. sent7: if the redshank does not carol privateer then the fact that the ormolu carol privateer is not false. sent8: if something is a intestacy then it is a kind of a two-piece. sent9: the redshank is numerical thing that carols privateer if the wheeze is not numerical. sent10: if the ormolu is not uncontroversial the fact that the silver is not a Cnidaria and is Singhalese is wrong. sent11: if the redshank is uncontroversial then the wheeze is uncontroversial. sent12: the ormolu is Singhalese. sent13: if something is a intestacy it is Singhalese. sent14: the ormolu is a Cnidaria. sent15: the silver is both a Cnidaria and two-piece if the fact that the redshank is not a Cnidaria is correct. sent16: the wheeze is not a two-piece if the redshank is uncontroversial and/or it does carol privateer. sent17: if something is Singhalese it is a kind of a Cnidaria. sent18: the redshank is not numerical if the wheeze is a kind of a two-piece and/or it does carol privateer. sent19: if the ormolu is uncontroversial the wheeze is uncontroversial but it does not carol privateer. sent20: if the wheeze does not carol privateer the redshank does carol privateer and is a intestacy. ; $proof$ = 
sent6 & sent12 -> int1: the ormolu is uncontroversial.; int1 & sent19 -> int2: the wheeze is a kind of uncontroversial thing that does not carol privateer.; int2 -> int3: the wheeze does not carol privateer.; int3 & sent20 -> int4: the redshank does carol privateer and is a kind of a intestacy.; int4 -> int5: the redshank is a kind of a intestacy.; sent8 -> int6: if the redshank is a intestacy it is a two-piece.; int5 & int6 -> int7: the redshank is two-piece.; int7 -> int8: the redshank either is a two-piece or is numerical or both.; __UNKNOWN__