the fact that the lignite is not antiadrenergic is not wrong.
sent1: the threadfish is antiadrenergic. sent2: that the lignite does not exclude gluten is wrong. sent3: if the Dravidian is not a kind of a Icelandic and excludes gluten the lignite is not antiadrenergic. sent4: if something is a menhir it is non-Icelandic and it does exclude gluten. sent5: if the threadfish is a menhir then the fact that the Dravidian is a menhir hold.
sent4 -> int1: the Dravidian is not a Icelandic but it does exclude gluten if it is a menhir.;
$hypothesis$ = the fact that the lignite is not antiadrenergic is not wrong. ; $context$ = sent1: the threadfish is antiadrenergic. sent2: that the lignite does not exclude gluten is wrong. sent3: if the Dravidian is not a kind of a Icelandic and excludes gluten the lignite is not antiadrenergic. sent4: if something is a menhir it is non-Icelandic and it does exclude gluten. sent5: if the threadfish is a menhir then the fact that the Dravidian is a menhir hold. ; $proof$ = 
sent4 -> int1: the Dravidian is not a Icelandic but it does exclude gluten if it is a menhir.; __UNKNOWN__