there is something such that it is not a rummy.
sent1: the Zen is a kind of a sea-rocket if it does not measure Reoviridae. sent2: if an ideological thing is not a rummy it is not a sea-rocket. sent3: the Zen is a nucleon if it is a sea-rocket. sent4: the fact that the Zen is not a bridle is not incorrect. sent5: there is something such that it is not a nucleon. sent6: there exists something such that it is a rummy. sent7: the fact that the Reoviridae is an angstrom but it is not a Selar does not hold. sent8: the Zen is not a nucleon. sent9: if the fact that something is an angstrom but it is not a Selar is incorrect then it is ideological. sent10: the fact that the swatter is a rummy hold. sent11: the briarroot measures Reoviridae. sent12: the Zen does not deposit spongefly if it is not infantile. sent13: the Zen does not emigrate. sent14: the Zen does measure Reoviridae. sent15: if that that something is a rummy but it is not a drop is correct does not hold then it is not a rummy. sent16: the Zen is not acinar. sent17: if the fact that the Reoviridae does not dub hierocracy hold that it is a rummy that is not a kind of a drop is false. sent18: if the fact that the Zen measures Reoviridae but it is not antagonistic does not hold then it is a sea-rocket.
void -> assump1: Let's assume that the fact that the Zen does measure Reoviridae but it is not antagonistic is not correct.; sent18 & assump1 -> int1: the Zen is a kind of a sea-rocket.; int1 & sent3 -> int2: the Zen is a kind of a nucleon.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Zen does measure Reoviridae and is not antagonistic.; int4 -> int5: the Zen is not antagonistic.;
the Reoviridae is both a nucleon and not cytoplasmic.
sent2 -> int6: if the Reoviridae is ideological and not a rummy it is not a sea-rocket.; sent9 -> int7: if the fact that the Reoviridae is both an angstrom and not a Selar is not true it is ideological.; int7 & sent7 -> int8: the Reoviridae is ideological.; sent15 -> int9: if the fact that the Reoviridae is a rummy that is not a drop does not hold it is not a kind of a rummy.;
$hypothesis$ = there is something such that it is not a rummy. ; $context$ = sent1: the Zen is a kind of a sea-rocket if it does not measure Reoviridae. sent2: if an ideological thing is not a rummy it is not a sea-rocket. sent3: the Zen is a nucleon if it is a sea-rocket. sent4: the fact that the Zen is not a bridle is not incorrect. sent5: there is something such that it is not a nucleon. sent6: there exists something such that it is a rummy. sent7: the fact that the Reoviridae is an angstrom but it is not a Selar does not hold. sent8: the Zen is not a nucleon. sent9: if the fact that something is an angstrom but it is not a Selar is incorrect then it is ideological. sent10: the fact that the swatter is a rummy hold. sent11: the briarroot measures Reoviridae. sent12: the Zen does not deposit spongefly if it is not infantile. sent13: the Zen does not emigrate. sent14: the Zen does measure Reoviridae. sent15: if that that something is a rummy but it is not a drop is correct does not hold then it is not a rummy. sent16: the Zen is not acinar. sent17: if the fact that the Reoviridae does not dub hierocracy hold that it is a rummy that is not a kind of a drop is false. sent18: if the fact that the Zen measures Reoviridae but it is not antagonistic does not hold then it is a sea-rocket. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Zen does measure Reoviridae but it is not antagonistic is not correct.; sent18 & assump1 -> int1: the Zen is a kind of a sea-rocket.; int1 & sent3 -> int2: the Zen is a kind of a nucleon.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Zen does measure Reoviridae and is not antagonistic.; int4 -> int5: the Zen is not antagonistic.; __UNKNOWN__