there is something such that if it is a kind of a ballgame the fact that it is not cardiopulmonary hold.
sent1: the dueler is not a ballgame if it is a kind of a ECOSOC. sent2: if the dueler is a Nagano then it is not a ballgame. sent3: the aristocrat is not cardiopulmonary if it is a kind of a EW. sent4: something is not a kind of a dominant if it is a bud. sent5: there exists something such that if it is a kind of a ballgame it is cardiopulmonary. sent6: if the tourtiere is cardiopulmonary it does not secrete acropolis. sent7: if something is a ballgame then it is cardiopulmonary. sent8: the dueler is not macrencephalic if it is traceable. sent9: something is not a Melpomene if it is systematic. sent10: something that is a chairmanship does not tweeze lied. sent11: if something slates then it does not company irregular. sent12: there is something such that if it is a kind of a Paleozoic then it is not anarchistic. sent13: there is something such that if it is a kind of a conviviality then it is not a ECOSOC. sent14: the dueler is cardiopulmonary if it is a kind of a ballgame. sent15: that something is not a reminiscence is not incorrect if it is systematic. sent16: there is something such that if it is a Rockefeller then it does not company dueler. sent17: something is not a kind of a UTN if it is a anthozoan. sent18: if the dueler is a ballgame then it is not a commander.
there is something such that if it is systematic it is not a reminiscence.
sent15 -> int1: if the fact that the sparkler is systematic hold it is not a reminiscence.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a ballgame the fact that it is not cardiopulmonary hold. ; $context$ = sent1: the dueler is not a ballgame if it is a kind of a ECOSOC. sent2: if the dueler is a Nagano then it is not a ballgame. sent3: the aristocrat is not cardiopulmonary if it is a kind of a EW. sent4: something is not a kind of a dominant if it is a bud. sent5: there exists something such that if it is a kind of a ballgame it is cardiopulmonary. sent6: if the tourtiere is cardiopulmonary it does not secrete acropolis. sent7: if something is a ballgame then it is cardiopulmonary. sent8: the dueler is not macrencephalic if it is traceable. sent9: something is not a Melpomene if it is systematic. sent10: something that is a chairmanship does not tweeze lied. sent11: if something slates then it does not company irregular. sent12: there is something such that if it is a kind of a Paleozoic then it is not anarchistic. sent13: there is something such that if it is a kind of a conviviality then it is not a ECOSOC. sent14: the dueler is cardiopulmonary if it is a kind of a ballgame. sent15: that something is not a reminiscence is not incorrect if it is systematic. sent16: there is something such that if it is a Rockefeller then it does not company dueler. sent17: something is not a kind of a UTN if it is a anthozoan. sent18: if the dueler is a ballgame then it is not a commander. ; $proof$ = 
__UNKNOWN__