there exists something such that it is not a kind of a fighter and it is not air-to-surface.
sent1: the ruin is not a fighter but it is a high-rise. sent2: the ruin is not a fighter if it is not Guatemalan. sent3: the justiciary is non-air-to-surface if it does persist and it is pyrolytic. sent4: there exists something such that it is both not a Stein and not involucrate. sent5: the caudate is not a Guatemalan. sent6: something that does not persist and is a Guatemalan is not pyrolytic. sent7: if the ruin is a kind of non-pyrolytic a high-rise then it is not a kind of a fighter. sent8: if the justiciary is non-air-to-surface but it does ambush Hemerobiidae then that it is a kind of a fighter hold. sent9: the justiciary is not a high-rise. sent10: if something that is not a fighter does persist then it is not a kind of a high-rise. sent11: the ruin is not a fighter and it is not air-to-surface if the justiciary is not a fighter. sent12: if the justiciary is not pyrolytic but it is a kind of a fighter it does ambush Hemerobiidae. sent13: something is not a high-rise and is air-to-surface. sent14: the justiciary is not a Tenebrionidae. sent15: the ruin is not pyrolytic. sent16: if the justiciary is not a high-rise it does not ambush Hemerobiidae. sent17: something is not a trembles if it does swim and it impeaches.
sent6 -> int1: if the justiciary does not persist and is a kind of a Guatemalan then it is not pyrolytic.; void -> assump1: Let's assume that the justiciary is a fighter.; sent16 & sent9 -> int2: the justiciary does not ambush Hemerobiidae.;
$hypothesis$ = there exists something such that it is not a kind of a fighter and it is not air-to-surface. ; $context$ = sent1: the ruin is not a fighter but it is a high-rise. sent2: the ruin is not a fighter if it is not Guatemalan. sent3: the justiciary is non-air-to-surface if it does persist and it is pyrolytic. sent4: there exists something such that it is both not a Stein and not involucrate. sent5: the caudate is not a Guatemalan. sent6: something that does not persist and is a Guatemalan is not pyrolytic. sent7: if the ruin is a kind of non-pyrolytic a high-rise then it is not a kind of a fighter. sent8: if the justiciary is non-air-to-surface but it does ambush Hemerobiidae then that it is a kind of a fighter hold. sent9: the justiciary is not a high-rise. sent10: if something that is not a fighter does persist then it is not a kind of a high-rise. sent11: the ruin is not a fighter and it is not air-to-surface if the justiciary is not a fighter. sent12: if the justiciary is not pyrolytic but it is a kind of a fighter it does ambush Hemerobiidae. sent13: something is not a high-rise and is air-to-surface. sent14: the justiciary is not a Tenebrionidae. sent15: the ruin is not pyrolytic. sent16: if the justiciary is not a high-rise it does not ambush Hemerobiidae. sent17: something is not a trembles if it does swim and it impeaches. ; $proof$ = 
sent6 -> int1: if the justiciary does not persist and is a kind of a Guatemalan then it is not pyrolytic.; void -> assump1: Let's assume that the justiciary is a fighter.; sent16 & sent9 -> int2: the justiciary does not ambush Hemerobiidae.; __UNKNOWN__