the Basque is not a Iyar.
sent1: if the geoduck is a kind of a Herr then the gargle is friendly. sent2: that the South does not rap drusen and is not a paranoia is wrong if it is not a prompt. sent3: the geoduck is a Herr if that the South does not rap drusen and is not a kind of a paranoia is not right. sent4: the fact that the South raps drusen and is not a paranoia is not correct. sent5: if there is something such that the fact that it does not rap qadi and it does not exsiccate guanine is false then the Basque is not a Iyar. sent6: the humpback is a treasurership if the gargle is a friendly. sent7: the geoduck does exsiccate guanine if the closure is a Herr. sent8: the fact that the closure does not rap qadi but it exsiccates guanine is not true. sent9: the South is not a prompt.
sent2 & sent9 -> int1: that the South does not rap drusen and is not a paranoia is not true.; sent3 & int1 -> int2: the fact that the geoduck is a kind of a Herr is right.; sent1 & int2 -> int3: the gargle is a kind of a friendly.; sent6 & int3 -> int4: that the humpback is a treasurership is not false.;
$hypothesis$ = the Basque is not a Iyar. ; $context$ = sent1: if the geoduck is a kind of a Herr then the gargle is friendly. sent2: that the South does not rap drusen and is not a paranoia is wrong if it is not a prompt. sent3: the geoduck is a Herr if that the South does not rap drusen and is not a kind of a paranoia is not right. sent4: the fact that the South raps drusen and is not a paranoia is not correct. sent5: if there is something such that the fact that it does not rap qadi and it does not exsiccate guanine is false then the Basque is not a Iyar. sent6: the humpback is a treasurership if the gargle is a friendly. sent7: the geoduck does exsiccate guanine if the closure is a Herr. sent8: the fact that the closure does not rap qadi but it exsiccates guanine is not true. sent9: the South is not a prompt. ; $proof$ = 
sent2 & sent9 -> int1: that the South does not rap drusen and is not a paranoia is not true.; sent3 & int1 -> int2: the fact that the geoduck is a kind of a Herr is right.; sent1 & int2 -> int3: the gargle is a kind of a friendly.; sent6 & int3 -> int4: that the humpback is a treasurership is not false.; __UNKNOWN__