the ferry is both not a saran and arsenious.
sent1: something is arsenious if that it is apneic and it is not exchangeable is wrong. sent2: if the ferry is oceanic and it is not non-photomechanical it is not a kind of a flatbed. sent3: something does not summit but it induces Noether. sent4: that if the hydrochloride is a kind of a saran then the storage is photomechanical or it does not discount or both is true. sent5: the fact that something is not oceanic and it is not a flatbed is false if it is arsenious. sent6: the fact that the wimple is not non-apneic and is not exchangeable is not true if it is a kind of a sheller. sent7: the ferry is photomechanical. sent8: something is oceanic if it is a discount. sent9: if the ferry is non-flatbed then it is not a kind of a saran and it is not non-arsenious. sent10: the wimple is a kind of a sheller and disapproves liberal. sent11: if that something is non-oceanic thing that is not a kind of a flatbed does not hold it is a kind of a missionary. sent12: the wencher is oceanic.
sent8 -> int1: the ferry is oceanic if it discounts.;
the wimple is a missionary and it is a vegetarianism.
sent11 -> int2: if that the wimple is not oceanic and not a flatbed is wrong it is missionary.; sent5 -> int3: the fact that the wimple is a kind of non-oceanic thing that is not flatbed is not true if it is arsenious.; sent1 -> int4: the wimple is arsenious if the fact that it is apneic thing that is not exchangeable does not hold.; sent10 -> int5: the wimple is a sheller.; sent6 & int5 -> int6: that the wimple is apneic but it is not exchangeable does not hold.; int4 & int6 -> int7: the wimple is arsenious.; int3 & int7 -> int8: that the wimple is not oceanic and it is not a kind of a flatbed is false.; int2 & int8 -> int9: the wimple is a kind of a missionary.;
$hypothesis$ = the ferry is both not a saran and arsenious. ; $context$ = sent1: something is arsenious if that it is apneic and it is not exchangeable is wrong. sent2: if the ferry is oceanic and it is not non-photomechanical it is not a kind of a flatbed. sent3: something does not summit but it induces Noether. sent4: that if the hydrochloride is a kind of a saran then the storage is photomechanical or it does not discount or both is true. sent5: the fact that something is not oceanic and it is not a flatbed is false if it is arsenious. sent6: the fact that the wimple is not non-apneic and is not exchangeable is not true if it is a kind of a sheller. sent7: the ferry is photomechanical. sent8: something is oceanic if it is a discount. sent9: if the ferry is non-flatbed then it is not a kind of a saran and it is not non-arsenious. sent10: the wimple is a kind of a sheller and disapproves liberal. sent11: if that something is non-oceanic thing that is not a kind of a flatbed does not hold it is a kind of a missionary. sent12: the wencher is oceanic. ; $proof$ = 
sent8 -> int1: the ferry is oceanic if it discounts.; __UNKNOWN__