the Hogan is a kind of a anoxemia but it is not a kind of an eye.
sent1: the granola does not skip photosphere and is a kind of a Halenia if it is a Gordius. sent2: that the dissociation is a Halenia and does not subtilize dolefulness is wrong if the charwoman does not subtilize dolefulness. sent3: something that is not a track subtilizes Ostwald and does glom Saururus. sent4: there is something such that it is Proustian a compiler. sent5: the charwoman does subtilize dolefulness but it is not a Halenia if the dissociation does not skip photosphere. sent6: there exists something such that it is both Proustian and not a compiler. sent7: that something is a anoxemia but it is not an eye is not right if it does not subtilize Ostwald. sent8: if something that does not skip photosphere is a Halenia then it does not subtilize dolefulness. sent9: if there exists something such that it does not skip photosphere the fact that the Hogan is not a kind of a track and it is not a Gordius is not correct. sent10: something is a kind of a anoxemia if that it is not a track and it is not a Gordius does not hold. sent11: the Hogan is not a kind of an eye. sent12: if that the dissociation is a Halenia and does not subtilize dolefulness does not hold the antlion does not skip photosphere. sent13: there exists something such that it is inexplicable. sent14: if something does subtilize Ostwald it does not subtilize dolefulness. sent15: there is something such that that it eyes and it is a kind of a anoxemia is incorrect.
sent14 -> int1: if the charwoman does subtilize Ostwald then that it does not subtilize dolefulness is not incorrect.; sent10 -> int2: the Hogan is a anoxemia if the fact that it is not a track and it is not a Gordius is not true.;
the granola does glom Saururus but it does not subtilize dolefulness.
sent3 -> int3: the granola subtilizes Ostwald and does glom Saururus if it is not a track.; sent8 -> int4: the granola does not subtilize dolefulness if it does not skip photosphere and it is a Halenia.;
$hypothesis$ = the Hogan is a kind of a anoxemia but it is not a kind of an eye. ; $context$ = sent1: the granola does not skip photosphere and is a kind of a Halenia if it is a Gordius. sent2: that the dissociation is a Halenia and does not subtilize dolefulness is wrong if the charwoman does not subtilize dolefulness. sent3: something that is not a track subtilizes Ostwald and does glom Saururus. sent4: there is something such that it is Proustian a compiler. sent5: the charwoman does subtilize dolefulness but it is not a Halenia if the dissociation does not skip photosphere. sent6: there exists something such that it is both Proustian and not a compiler. sent7: that something is a anoxemia but it is not an eye is not right if it does not subtilize Ostwald. sent8: if something that does not skip photosphere is a Halenia then it does not subtilize dolefulness. sent9: if there exists something such that it does not skip photosphere the fact that the Hogan is not a kind of a track and it is not a Gordius is not correct. sent10: something is a kind of a anoxemia if that it is not a track and it is not a Gordius does not hold. sent11: the Hogan is not a kind of an eye. sent12: if that the dissociation is a Halenia and does not subtilize dolefulness does not hold the antlion does not skip photosphere. sent13: there exists something such that it is inexplicable. sent14: if something does subtilize Ostwald it does not subtilize dolefulness. sent15: there is something such that that it eyes and it is a kind of a anoxemia is incorrect. ; $proof$ = 
sent14 -> int1: if the charwoman does subtilize Ostwald then that it does not subtilize dolefulness is not incorrect.; sent10 -> int2: the Hogan is a anoxemia if the fact that it is not a track and it is not a Gordius is not true.; __UNKNOWN__