there is something such that if it is anguine it is not an aura.
sent1: if something axes Whistler then it is not a simplification. sent2: there exists something such that if it is a kind of a Paleozoic it does not elaborate Tanzim. sent3: there exists something such that if it is anguine it is an aura. sent4: if something is rosaceous then it is not a shrug. sent5: if the Whistler is anguine then the fact that it is not minus is right. sent6: the Whistler is not Paleozoic if that it is weighty is right. sent7: the Whistler does not elaborate abettor if it is anguine. sent8: there is something such that if the fact that it is a Vila is not false then it is not a kind of a wahoo. sent9: something is not a kind of a superintendent if it is tuberous. sent10: the Whistler is an aura if it is anguine. sent11: if something is a Vila it is non-eastern. sent12: there is something such that if it is a Nobelist it is not a kind of a simplification. sent13: if something is anguine it is an aura. sent14: there is something such that if it is protestant then it does not lease wineberry. sent15: there exists something such that if it is pneumonic then it is not a braided.
$hypothesis$ = there is something such that if it is anguine it is not an aura. ; $context$ = sent1: if something axes Whistler then it is not a simplification. sent2: there exists something such that if it is a kind of a Paleozoic it does not elaborate Tanzim. sent3: there exists something such that if it is anguine it is an aura. sent4: if something is rosaceous then it is not a shrug. sent5: if the Whistler is anguine then the fact that it is not minus is right. sent6: the Whistler is not Paleozoic if that it is weighty is right. sent7: the Whistler does not elaborate abettor if it is anguine. sent8: there is something such that if the fact that it is a Vila is not false then it is not a kind of a wahoo. sent9: something is not a kind of a superintendent if it is tuberous. sent10: the Whistler is an aura if it is anguine. sent11: if something is a Vila it is non-eastern. sent12: there is something such that if it is a Nobelist it is not a kind of a simplification. sent13: if something is anguine it is an aura. sent14: there is something such that if it is protestant then it does not lease wineberry. sent15: there exists something such that if it is pneumonic then it is not a braided. ; $proof$ = 
__UNKNOWN__