there is something such that it is both a cimetidine and a Fossa.
sent1: if something is a kind of a cimetidine the fact that it is a kind of non-pictographic thing that is a Fossa is false. sent2: there is something such that that it does honor zidovudine and is a kind of a caricaturist is not false. sent3: there exists something such that it is a Columbus and cellular. sent4: the fact that there exists something such that it is a pectoral that does bench is true. sent5: that the ass is not a Fossa and is a Fabian is not right. sent6: the capacity is both a halon and brisant. sent7: something is a Fossa if the fact that it is not a kind of a halon and it is not more is not right. sent8: the frijolito is a cimetidine. sent9: the fact that the frijolito is predicative but not a cimetidine does not hold. sent10: something is a kind of a tubule and it is indelicate. sent11: the frijolito transmits and is a oxytetracycline. sent12: there exists something such that it does slice mystique and it is a hoodoo. sent13: that the Castillian is not a kind of a randomness and it is not a bobwhite does not hold. sent14: that that something does not mint scallop and it is not extricable is not true if it is a halon is true. sent15: the fact that the frijolito does not mint eater and is a kind of a cimetidine is incorrect. sent16: there is something such that it is undemocratic. sent17: there exists something such that it is a kind of a saman. sent18: something does mint scallop.
sent7 -> int1: the frijolito is a Fossa if that it is both not a halon and not more is wrong.;
the fact that the frijolito does not mint scallop and is not extricable is not correct.
sent14 -> int2: the fact that the frijolito does not mint scallop and it is not extricable is not right if it is a halon.; sent1 -> int3: if the sampan is a kind of a cimetidine then that it is not pictographic and it is a Fossa does not hold.;
$hypothesis$ = there is something such that it is both a cimetidine and a Fossa. ; $context$ = sent1: if something is a kind of a cimetidine the fact that it is a kind of non-pictographic thing that is a Fossa is false. sent2: there is something such that that it does honor zidovudine and is a kind of a caricaturist is not false. sent3: there exists something such that it is a Columbus and cellular. sent4: the fact that there exists something such that it is a pectoral that does bench is true. sent5: that the ass is not a Fossa and is a Fabian is not right. sent6: the capacity is both a halon and brisant. sent7: something is a Fossa if the fact that it is not a kind of a halon and it is not more is not right. sent8: the frijolito is a cimetidine. sent9: the fact that the frijolito is predicative but not a cimetidine does not hold. sent10: something is a kind of a tubule and it is indelicate. sent11: the frijolito transmits and is a oxytetracycline. sent12: there exists something such that it does slice mystique and it is a hoodoo. sent13: that the Castillian is not a kind of a randomness and it is not a bobwhite does not hold. sent14: that that something does not mint scallop and it is not extricable is not true if it is a halon is true. sent15: the fact that the frijolito does not mint eater and is a kind of a cimetidine is incorrect. sent16: there is something such that it is undemocratic. sent17: there exists something such that it is a kind of a saman. sent18: something does mint scallop. ; $proof$ = 
sent7 -> int1: the frijolito is a Fossa if that it is both not a halon and not more is wrong.; __UNKNOWN__