the Alka-seltzer is a Psidium.
sent1: the Lysol is not a kind of a quarantine if the kunzite does not clean Alka-seltzer and is a kind of a quarantine. sent2: the Sodom is confrontational. sent3: everything is joyous. sent4: if the Sodom is not exoergic then it does not sex and it is confrontational. sent5: the Sodom is not a Durant and it does not clean Alka-seltzer. sent6: the Alka-seltzer does not clean Alka-seltzer if it is tactful and it is not exoergic. sent7: the Alka-seltzer is not a quarantine and is tactful if the fact that the Sodom is not tactful is not false. sent8: the Alka-seltzer is a kind of a Psidium if it is not a quarantine and it is tactful. sent9: the fact that the cheroot does disengage is not false if the plastination does disengage. sent10: if there exists something such that it is not a Durant and does not clean Alka-seltzer then the Alka-seltzer is not a flutter. sent11: something is a ceramics and/or is not a Durant. sent12: the redshift disengages. sent13: if the Sodom is exoergic and it is joyous then it is not tactful. sent14: if the Alka-seltzer is not a kind of a quarantine then the Sodom quarantine. sent15: the rowanberry is not a Durant if something is a kind of a ceramics and/or it is not a Durant. sent16: if the BASIC is not a Durant then the kunzite does not clean Alka-seltzer but it does quarantine. sent17: if something that is not a Durant does clean Alka-seltzer it does not disengage. sent18: the Alka-seltzer is not unsarcastic if it does not exempt dossal and is a Psidium. sent19: the fact that the Sodom is a Psidium and is not exoergic is not true if the cheroot disengages. sent20: something is not a Durant and does not clean Alka-seltzer. sent21: if that the Sodom is joyous and does not quarantine does not hold the Alka-seltzer does not disengage. sent22: the BASIC is not a Durant if the rowanberry is not a Durant. sent23: something that is both not a sex and confrontational disengages.
void -> assump1: Let's assume that the Sodom is not exoergic.; sent4 & assump1 -> int1: the Sodom is not a sex but confrontational.; sent23 -> int2: if the Sodom is not a sex but confrontational it disengages.; int1 & int2 -> int3: the Sodom disengages.; sent3 -> int4: the Sodom is joyous.;
the Alka-seltzer does not flutter and is tactful.
sent20 & sent10 -> int5: the Alka-seltzer does not flutter.;
$hypothesis$ = the Alka-seltzer is a Psidium. ; $context$ = sent1: the Lysol is not a kind of a quarantine if the kunzite does not clean Alka-seltzer and is a kind of a quarantine. sent2: the Sodom is confrontational. sent3: everything is joyous. sent4: if the Sodom is not exoergic then it does not sex and it is confrontational. sent5: the Sodom is not a Durant and it does not clean Alka-seltzer. sent6: the Alka-seltzer does not clean Alka-seltzer if it is tactful and it is not exoergic. sent7: the Alka-seltzer is not a quarantine and is tactful if the fact that the Sodom is not tactful is not false. sent8: the Alka-seltzer is a kind of a Psidium if it is not a quarantine and it is tactful. sent9: the fact that the cheroot does disengage is not false if the plastination does disengage. sent10: if there exists something such that it is not a Durant and does not clean Alka-seltzer then the Alka-seltzer is not a flutter. sent11: something is a ceramics and/or is not a Durant. sent12: the redshift disengages. sent13: if the Sodom is exoergic and it is joyous then it is not tactful. sent14: if the Alka-seltzer is not a kind of a quarantine then the Sodom quarantine. sent15: the rowanberry is not a Durant if something is a kind of a ceramics and/or it is not a Durant. sent16: if the BASIC is not a Durant then the kunzite does not clean Alka-seltzer but it does quarantine. sent17: if something that is not a Durant does clean Alka-seltzer it does not disengage. sent18: the Alka-seltzer is not unsarcastic if it does not exempt dossal and is a Psidium. sent19: the fact that the Sodom is a Psidium and is not exoergic is not true if the cheroot disengages. sent20: something is not a Durant and does not clean Alka-seltzer. sent21: if that the Sodom is joyous and does not quarantine does not hold the Alka-seltzer does not disengage. sent22: the BASIC is not a Durant if the rowanberry is not a Durant. sent23: something that is both not a sex and confrontational disengages. ; $proof$ = 
void -> assump1: Let's assume that the Sodom is not exoergic.; sent4 & assump1 -> int1: the Sodom is not a sex but confrontational.; sent23 -> int2: if the Sodom is not a sex but confrontational it disengages.; int1 & int2 -> int3: the Sodom disengages.; sent3 -> int4: the Sodom is joyous.; __UNKNOWN__