that the Dragunov is southern hold.
sent1: if the Dragunov is not educational then the cardinal is southern. sent2: there is something such that the fact that it is a BAN and it is sclerotic is false. sent3: if the cardinal is not educational it is not a kind of a Zen. sent4: that something is southern is correct if it is minors. sent5: the cardinal is not southern if it is not a Zen. sent6: the cardinal is not educational. sent7: the Dragunov is not educational if it is not imperceptible. sent8: if the cardinal is southern then it is educational. sent9: something is not minors if it is not sclerotic and not unplayful. sent10: the rabbi is a kind of a Zen. sent11: if there is something such that that it is a BAN and it is sclerotic is not correct then the cardinal is not sclerotic.
sent3 & sent6 -> int1: the cardinal is not a kind of a Zen.; sent4 -> int2: the Dragunov is southern if it is minors.;
the Dragunov is not southern.
sent9 -> int3: if the cardinal is not sclerotic and it is not unplayful then it is not minors.; sent2 & sent11 -> int4: the cardinal is not sclerotic.;
$hypothesis$ = that the Dragunov is southern hold. ; $context$ = sent1: if the Dragunov is not educational then the cardinal is southern. sent2: there is something such that the fact that it is a BAN and it is sclerotic is false. sent3: if the cardinal is not educational it is not a kind of a Zen. sent4: that something is southern is correct if it is minors. sent5: the cardinal is not southern if it is not a Zen. sent6: the cardinal is not educational. sent7: the Dragunov is not educational if it is not imperceptible. sent8: if the cardinal is southern then it is educational. sent9: something is not minors if it is not sclerotic and not unplayful. sent10: the rabbi is a kind of a Zen. sent11: if there is something such that that it is a BAN and it is sclerotic is not correct then the cardinal is not sclerotic. ; $proof$ = 
sent3 & sent6 -> int1: the cardinal is not a kind of a Zen.; sent4 -> int2: the Dragunov is southern if it is minors.; __UNKNOWN__