the fact that the perihelion is anicteric but it is not a Hegelian is incorrect.
sent1: something is not a Hegelian. sent2: if something is not complimentary then it is an impressionist and is a kind of a Brahman. sent3: something is not loopy. sent4: the perihelion is not a Hegelian if the onyx is Hegelian an impressionist. sent5: if the cinder does not crossbreed pumice that the tabbouleh is not a kind of a Cushitic or it stinks electromagnet or both does not hold. sent6: the onyx is anicteric. sent7: something is loopy and a Iguanidae. sent8: the onyx is antimonic if there exists something such that it is not loopy and is a Iguanidae. sent9: something is non-loopy thing that is a kind of a Iguanidae. sent10: that the cinder does not crossbreed pumice is not false. sent11: the fact that the perihelion is anicteric is true if there exists something such that that it is not a Cushitic or does stink electromagnet or both is not true. sent12: if something is not antimonic it is not a Hegelian. sent13: something is a kind of a Iguanidae.
sent9 & sent8 -> int1: the onyx is antimonic.; int1 -> int2: there exists something such that it is antimonic.;
the perihelion is anicteric and is not Hegelian.
sent5 & sent10 -> int3: the fact that the tabbouleh is not a Cushitic and/or it stinks electromagnet is not true.; int3 -> int4: there exists something such that the fact that either it is not a kind of a Cushitic or it does stink electromagnet or both is not true.; int4 & sent11 -> int5: the perihelion is anicteric.; sent12 -> int6: the onyx is not a Hegelian if it is not antimonic.; sent2 -> int7: the onyx is impressionist and it is a Brahman if it is not complimentary.;
$hypothesis$ = the fact that the perihelion is anicteric but it is not a Hegelian is incorrect. ; $context$ = sent1: something is not a Hegelian. sent2: if something is not complimentary then it is an impressionist and is a kind of a Brahman. sent3: something is not loopy. sent4: the perihelion is not a Hegelian if the onyx is Hegelian an impressionist. sent5: if the cinder does not crossbreed pumice that the tabbouleh is not a kind of a Cushitic or it stinks electromagnet or both does not hold. sent6: the onyx is anicteric. sent7: something is loopy and a Iguanidae. sent8: the onyx is antimonic if there exists something such that it is not loopy and is a Iguanidae. sent9: something is non-loopy thing that is a kind of a Iguanidae. sent10: that the cinder does not crossbreed pumice is not false. sent11: the fact that the perihelion is anicteric is true if there exists something such that that it is not a Cushitic or does stink electromagnet or both is not true. sent12: if something is not antimonic it is not a Hegelian. sent13: something is a kind of a Iguanidae. ; $proof$ = 
sent9 & sent8 -> int1: the onyx is antimonic.; int1 -> int2: there exists something such that it is antimonic.; __UNKNOWN__