the oracle does even.
sent1: the shrink-wrap does shrivel and it is Corsican if something is eugenic. sent2: the hotpot does shrivel if there are non-visible things. sent3: something is dizygotic if it is a kind of a Lloyd. sent4: the Ward is non-Corsican if the hotpot is a kind of dizygotic thing that does shrivel. sent5: the hotpot is visible. sent6: there exists something such that that it fritters gringo and is not a wire is false. sent7: if the Ward is not Corsican the oracle is eugenic and not uneven. sent8: if the shrink-wrap is monocarpic the fact that the hotpot is a kind of a Lloyd is correct. sent9: if something is visible then it is eugenic. sent10: if the shrink-wrap is not Corsican then the hotpot is dizygotic and it is monocarpic. sent11: the farmhand is not visible. sent12: something that is not a Lloyd is non-even thing that is not monocarpic. sent13: if the shrink-wrap shrivels it is dizygotic.
sent3 -> int1: if the hotpot is a Lloyd it is dizygotic.; sent11 -> int2: something is not visible.; int2 & sent2 -> int3: the fact that the hotpot does shrivel is right.;
the oracle is not even.
sent12 -> int4: if the oracle is not a kind of a Lloyd it is uneven and non-monocarpic.; sent9 -> int5: if the hotpot is visible then it is eugenic.; int5 & sent5 -> int6: the hotpot is eugenic.; int6 -> int7: there are eugenic things.; int7 & sent1 -> int8: the shrink-wrap shrivels and it is not non-Corsican.; int8 -> int9: the shrink-wrap shrivels.; sent13 & int9 -> int10: the shrink-wrap is dizygotic.; int10 -> int11: there exists something such that it is dizygotic.;
$hypothesis$ = the oracle does even. ; $context$ = sent1: the shrink-wrap does shrivel and it is Corsican if something is eugenic. sent2: the hotpot does shrivel if there are non-visible things. sent3: something is dizygotic if it is a kind of a Lloyd. sent4: the Ward is non-Corsican if the hotpot is a kind of dizygotic thing that does shrivel. sent5: the hotpot is visible. sent6: there exists something such that that it fritters gringo and is not a wire is false. sent7: if the Ward is not Corsican the oracle is eugenic and not uneven. sent8: if the shrink-wrap is monocarpic the fact that the hotpot is a kind of a Lloyd is correct. sent9: if something is visible then it is eugenic. sent10: if the shrink-wrap is not Corsican then the hotpot is dizygotic and it is monocarpic. sent11: the farmhand is not visible. sent12: something that is not a Lloyd is non-even thing that is not monocarpic. sent13: if the shrink-wrap shrivels it is dizygotic. ; $proof$ = 
sent3 -> int1: if the hotpot is a Lloyd it is dizygotic.; sent11 -> int2: something is not visible.; int2 & sent2 -> int3: the fact that the hotpot does shrivel is right.; __UNKNOWN__