the ulceration is non-true-false.
sent1: something is true-false if it is a kind of a Cheyenne. sent2: if the goldenseal is a Cheyenne then it is a Anas. sent3: if that the autodidact is a kind of a best is not wrong it is incidental. sent4: if the ulceration is not a kind of a tube or is a kind of an incidental or both the autodidact is not a kind of a radon. sent5: the Colt is a twiddle if the goldenseal is not a kind of a Cheyenne. sent6: there exists something such that the fact that it is true-false is true. sent7: if the goldenseal does tube then that the ulceration is not a kind of a Anas and it is not a kind of a radon is not right. sent8: if the fact that something is a Anas and is not a cytolysin does not hold then it is a cytolysin. sent9: the goldenseal is a radon and it does brown. sent10: if something is an incidental and it does tube it is not true-false. sent11: the goldenseal is a Cheyenne. sent12: the goldenseal is a tube if the autodidact is a kind of an incidental. sent13: if the ulceration is not a bushman then it does not tube and/or is incidental. sent14: if something is both a Anas and a radon then the autodidact is not a tube. sent15: the ulceration is best and it does tube if the autodidact is not a tube.
sent2 & sent11 -> int1: the goldenseal is a Anas.; sent9 -> int2: the goldenseal is a radon.; int1 & int2 -> int3: the fact that the goldenseal is a Anas and it is a radon is not incorrect.; int3 -> int4: the fact that something is a Anas and is a kind of a radon is not wrong.; int4 & sent14 -> int5: the autodidact is not a tube.; int5 & sent15 -> int6: the ulceration is best and it does tube.; int6 -> int7: the ulceration tubes.; sent10 -> int8: if the ulceration is incidental and does tube it is not true-false.;
the ulceration is true-false.
sent1 -> int9: the ulceration is true-false if that it is a kind of a Cheyenne hold.;
$hypothesis$ = the ulceration is non-true-false. ; $context$ = sent1: something is true-false if it is a kind of a Cheyenne. sent2: if the goldenseal is a Cheyenne then it is a Anas. sent3: if that the autodidact is a kind of a best is not wrong it is incidental. sent4: if the ulceration is not a kind of a tube or is a kind of an incidental or both the autodidact is not a kind of a radon. sent5: the Colt is a twiddle if the goldenseal is not a kind of a Cheyenne. sent6: there exists something such that the fact that it is true-false is true. sent7: if the goldenseal does tube then that the ulceration is not a kind of a Anas and it is not a kind of a radon is not right. sent8: if the fact that something is a Anas and is not a cytolysin does not hold then it is a cytolysin. sent9: the goldenseal is a radon and it does brown. sent10: if something is an incidental and it does tube it is not true-false. sent11: the goldenseal is a Cheyenne. sent12: the goldenseal is a tube if the autodidact is a kind of an incidental. sent13: if the ulceration is not a bushman then it does not tube and/or is incidental. sent14: if something is both a Anas and a radon then the autodidact is not a tube. sent15: the ulceration is best and it does tube if the autodidact is not a tube. ; $proof$ = 
sent2 & sent11 -> int1: the goldenseal is a Anas.; sent9 -> int2: the goldenseal is a radon.; int1 & int2 -> int3: the fact that the goldenseal is a Anas and it is a radon is not incorrect.; int3 -> int4: the fact that something is a Anas and is a kind of a radon is not wrong.; int4 & sent14 -> int5: the autodidact is not a tube.; int5 & sent15 -> int6: the ulceration is best and it does tube.; int6 -> int7: the ulceration tubes.; sent10 -> int8: if the ulceration is incidental and does tube it is not true-false.; __UNKNOWN__