the bomb is not psychiatric but it is new.
sent1: the bomb is non-psychiatric if the fox is a parameter and carbonaceous. sent2: if something is not a kind of a heptane then it is a kind of a antimetabolite. sent3: the fox is a kind of a mnemonics. sent4: if the uptown outsails toothpowder then the fox is a parameter. sent5: the fox is a kind of holistic a Parthian. sent6: the uptown is not a kind of a shadow. sent7: the uptown is aground. sent8: the uptown is a kind of a antimetabolite and it is a parameter if the fact that the fox is not carbonaceous is correct. sent9: the uptown is both aground and psychiatric if it is non-mnemonics. sent10: something is a mnemonics and it is a heptane if it is not carbonaceous. sent11: the uptown is a antimetabolite if it is not a kind of a heptane. sent12: the fox is not a shadow if the uptown is a antimetabolite and it is a parameter. sent13: the bomb is new. sent14: if something is not a kind of a heptane then it outsails toothpowder and it is a antimetabolite. sent15: if the uptown is a heptane or it does not outsail toothpowder or both the bomb is a kind of a heptane. sent16: if something is a heptane that it is not psychiatric and it is new is incorrect. sent17: the fox is a mnemonics and it is a heptane. sent18: if the uptown is a kind of a antimetabolite that it is not psychiatric and it is aground is not right. sent19: the fox is carbonaceous and is mnemonics. sent20: the uptown is a antimetabolite.
void -> assump1: Let's assume that that the uptown is a heptane is true.; sent6 & sent7 -> int1: the uptown is not a shadow but aground.; sent14 -> int2: the uptown outsails toothpowder and is a antimetabolite if it is not a kind of a heptane.; sent19 -> int3: the fox is carbonaceous.;
the fact that the bomb is not psychiatric but it is new is not correct.
sent16 -> int4: the fact that the bomb is both non-psychiatric and new is wrong if that it is a kind of a heptane is not wrong.;
$hypothesis$ = the bomb is not psychiatric but it is new. ; $context$ = sent1: the bomb is non-psychiatric if the fox is a parameter and carbonaceous. sent2: if something is not a kind of a heptane then it is a kind of a antimetabolite. sent3: the fox is a kind of a mnemonics. sent4: if the uptown outsails toothpowder then the fox is a parameter. sent5: the fox is a kind of holistic a Parthian. sent6: the uptown is not a kind of a shadow. sent7: the uptown is aground. sent8: the uptown is a kind of a antimetabolite and it is a parameter if the fact that the fox is not carbonaceous is correct. sent9: the uptown is both aground and psychiatric if it is non-mnemonics. sent10: something is a mnemonics and it is a heptane if it is not carbonaceous. sent11: the uptown is a antimetabolite if it is not a kind of a heptane. sent12: the fox is not a shadow if the uptown is a antimetabolite and it is a parameter. sent13: the bomb is new. sent14: if something is not a kind of a heptane then it outsails toothpowder and it is a antimetabolite. sent15: if the uptown is a heptane or it does not outsail toothpowder or both the bomb is a kind of a heptane. sent16: if something is a heptane that it is not psychiatric and it is new is incorrect. sent17: the fox is a mnemonics and it is a heptane. sent18: if the uptown is a kind of a antimetabolite that it is not psychiatric and it is aground is not right. sent19: the fox is carbonaceous and is mnemonics. sent20: the uptown is a antimetabolite. ; $proof$ = 
void -> assump1: Let's assume that that the uptown is a heptane is true.; sent6 & sent7 -> int1: the uptown is not a shadow but aground.; sent14 -> int2: the uptown outsails toothpowder and is a antimetabolite if it is not a kind of a heptane.; sent19 -> int3: the fox is carbonaceous.; __UNKNOWN__