the cartwright is a kind of a abulia.
sent1: if something is bituminoid then it is not curtainless. sent2: the haptoglobin is not a kind of a shinplaster if that it is a kind of a shinplaster that is not a Chionanthus is false. sent3: if something is a PTSD and/or it does not seep hydrology then it is not biotitic. sent4: that something does not dictate elder and it is not wise is not correct if it does not treble. sent5: if that the luthier is a kind of a frontal but it is not a tellurian is false the cartwright is not a abulia. sent6: if the analeptic is not a catechin then the luthier is a kind of romaic thing that is a kind of a fog. sent7: the fact that something is a frontal and is not tellurian does not hold if that it is a fog hold. sent8: the cartwright is frontal and/or not a fog if there are non-tellurian things. sent9: the cartwright is not romaic if it is not a fog. sent10: the xerox is a kind of Theban a tellurian if the luthier is not romaic. sent11: there exists something such that it is a kind of a tellurian. sent12: something is a kind of a catechin and it is a kind of a abulia if it is not romaic. sent13: the haptoglobin does not treble if it is not a kind of a shinplaster. sent14: if the analeptic is romaic then the luthier is not romaic. sent15: if something is either frontal or not a fog or both then it is not romaic.
sent15 -> int1: the cartwright is not romaic if it is frontal and/or not a fog.; sent12 -> int2: the cartwright is a catechin and it is a abulia if it is not romaic.;
the cartwright is not a abulia.
sent7 -> int3: if the luthier is a fog then the fact that it is a frontal and it is not a kind of a tellurian is incorrect.; sent4 -> int4: the fact that the haptoglobin does not dictate elder and is not a kind of a wise does not hold if it does not treble.;
$hypothesis$ = the cartwright is a kind of a abulia. ; $context$ = sent1: if something is bituminoid then it is not curtainless. sent2: the haptoglobin is not a kind of a shinplaster if that it is a kind of a shinplaster that is not a Chionanthus is false. sent3: if something is a PTSD and/or it does not seep hydrology then it is not biotitic. sent4: that something does not dictate elder and it is not wise is not correct if it does not treble. sent5: if that the luthier is a kind of a frontal but it is not a tellurian is false the cartwright is not a abulia. sent6: if the analeptic is not a catechin then the luthier is a kind of romaic thing that is a kind of a fog. sent7: the fact that something is a frontal and is not tellurian does not hold if that it is a fog hold. sent8: the cartwright is frontal and/or not a fog if there are non-tellurian things. sent9: the cartwright is not romaic if it is not a fog. sent10: the xerox is a kind of Theban a tellurian if the luthier is not romaic. sent11: there exists something such that it is a kind of a tellurian. sent12: something is a kind of a catechin and it is a kind of a abulia if it is not romaic. sent13: the haptoglobin does not treble if it is not a kind of a shinplaster. sent14: if the analeptic is romaic then the luthier is not romaic. sent15: if something is either frontal or not a fog or both then it is not romaic. ; $proof$ = 
sent15 -> int1: the cartwright is not romaic if it is frontal and/or not a fog.; sent12 -> int2: the cartwright is a catechin and it is a abulia if it is not romaic.; __UNKNOWN__