that the stay-at-home is a yak and it is a kind of an orchid is incorrect.
sent1: the stay-at-home is a yak if that the filly is a profession but it is not a single-mindedness is wrong. sent2: the stay-at-home is not a bracteole. sent3: if the filly is a kind of a single-mindedness then the stay-at-home is a yak. sent4: the blackheart is Ionic. sent5: if the fact that the blackheart is not a tailback and it does not subside fizzing is wrong the polonium guards coreid. sent6: the fact that the blackheart is not a kind of a tailback and it does not subside fizzing does not hold if that it is not non-Ionic is not incorrect. sent7: if the rose-root is a single-mindedness the fact that the filly is a kind of a profession but it is not a single-mindedness is not true. sent8: the stay-at-home is a Cotonou. sent9: the fact that the blackheart is a kind of a tailback and does not subside fizzing does not hold. sent10: something is an orchid that is a kind of a Cotonou if it is not a kind of a bracteole. sent11: the rose-root is a single-mindedness if the polonium guards coreid. sent12: if the rose-root is a kind of a single-mindedness then that the filly is a profession and is a single-mindedness is incorrect. sent13: the fact that the blackheart is a kind of a tailback that does not subside fizzing is false if it is Ionic. sent14: the fact that the blackheart is not a kind of a tailback and does subside fizzing is wrong if it is Ionic. sent15: that the blackheart is not a tailback but it subsides fizzing is not true.
sent6 & sent4 -> int1: the fact that the blackheart is not a tailback and does not subside fizzing is not correct.; int1 & sent5 -> int2: the polonium does guard coreid.; int2 & sent11 -> int3: the rose-root is a single-mindedness.; int3 & sent7 -> int4: the fact that the filly is a profession but it is not a kind of a single-mindedness does not hold.; int4 & sent1 -> int5: the stay-at-home is a yak.; sent10 -> int6: the stay-at-home is an orchid and it is a Cotonou if it is not a bracteole.; int6 & sent2 -> int7: the stay-at-home is an orchid that is a Cotonou.; int7 -> int8: the stay-at-home is an orchid.; int5 & int8 -> hypothesis;
$hypothesis$ = that the stay-at-home is a yak and it is a kind of an orchid is incorrect. ; $context$ = sent1: the stay-at-home is a yak if that the filly is a profession but it is not a single-mindedness is wrong. sent2: the stay-at-home is not a bracteole. sent3: if the filly is a kind of a single-mindedness then the stay-at-home is a yak. sent4: the blackheart is Ionic. sent5: if the fact that the blackheart is not a tailback and it does not subside fizzing is wrong the polonium guards coreid. sent6: the fact that the blackheart is not a kind of a tailback and it does not subside fizzing does not hold if that it is not non-Ionic is not incorrect. sent7: if the rose-root is a single-mindedness the fact that the filly is a kind of a profession but it is not a single-mindedness is not true. sent8: the stay-at-home is a Cotonou. sent9: the fact that the blackheart is a kind of a tailback and does not subside fizzing does not hold. sent10: something is an orchid that is a kind of a Cotonou if it is not a kind of a bracteole. sent11: the rose-root is a single-mindedness if the polonium guards coreid. sent12: if the rose-root is a kind of a single-mindedness then that the filly is a profession and is a single-mindedness is incorrect. sent13: the fact that the blackheart is a kind of a tailback that does not subside fizzing is false if it is Ionic. sent14: the fact that the blackheart is not a kind of a tailback and does subside fizzing is wrong if it is Ionic. sent15: that the blackheart is not a tailback but it subsides fizzing is not true. ; $proof$ = 
sent6 & sent4 -> int1: the fact that the blackheart is not a tailback and does not subside fizzing is not correct.; int1 & sent5 -> int2: the polonium does guard coreid.; int2 & sent11 -> int3: the rose-root is a single-mindedness.; int3 & sent7 -> int4: the fact that the filly is a profession but it is not a kind of a single-mindedness does not hold.; int4 & sent1 -> int5: the stay-at-home is a yak.; sent10 -> int6: the stay-at-home is an orchid and it is a Cotonou if it is not a bracteole.; int6 & sent2 -> int7: the stay-at-home is an orchid that is a Cotonou.; int7 -> int8: the stay-at-home is an orchid.; int5 & int8 -> hypothesis; __DISPROVED__