the transferor is a pervert.
sent1: if the crinkleroot is coeliac then it is a pervert. sent2: the things is coeliac thing that harries Arctocephalus if the landfall does not reissue Cotswold. sent3: if the scalper is a kind of a kick the fact that it is not a kind of a knobble and is not a nomad is false. sent4: something is sternal if that it is a nomad is right. sent5: the crinkleroot harries Arctocephalus. sent6: everything is a barren that does reissue forelimb. sent7: the scalper is a kind of a kick. sent8: if the things reissues Cotswold then the transferor does pervert. sent9: if something does not harry Arctocephalus it is not coeliac and/or it is not sternal. sent10: the fact that the things harries Arctocephalus hold if the crinkleroot is coeliac. sent11: the scalper reissues Cotswold if the crinkleroot is a barren. sent12: if that something is not a knobble and it is not a nomad does not hold it is sternal. sent13: everything does reissue forelimb. sent14: the crinkleroot is coeliac if something that is sternal is a kind of a barren. sent15: the fact that the scalper is both not a knobble and a nomad is not true.
sent12 -> int1: if that the scalper is not a kind of a knobble and it is not a nomad is incorrect it is sternal.; sent3 & sent7 -> int2: that the scalper is not a knobble and it is not a nomad is false.; int1 & int2 -> int3: the scalper is sternal.; sent6 -> int4: the scalper is a kind of a barren and it does reissue forelimb.; int4 -> int5: the scalper is a kind of a barren.; int3 & int5 -> int6: the scalper is sternal and a barren.; int6 -> int7: something is not non-sternal and it is a barren.; int7 & sent14 -> int8: the crinkleroot is coeliac.; int8 & sent10 -> int9: the things harries Arctocephalus.;
the transferor is not a pervert.
$hypothesis$ = the transferor is a pervert. ; $context$ = sent1: if the crinkleroot is coeliac then it is a pervert. sent2: the things is coeliac thing that harries Arctocephalus if the landfall does not reissue Cotswold. sent3: if the scalper is a kind of a kick the fact that it is not a kind of a knobble and is not a nomad is false. sent4: something is sternal if that it is a nomad is right. sent5: the crinkleroot harries Arctocephalus. sent6: everything is a barren that does reissue forelimb. sent7: the scalper is a kind of a kick. sent8: if the things reissues Cotswold then the transferor does pervert. sent9: if something does not harry Arctocephalus it is not coeliac and/or it is not sternal. sent10: the fact that the things harries Arctocephalus hold if the crinkleroot is coeliac. sent11: the scalper reissues Cotswold if the crinkleroot is a barren. sent12: if that something is not a knobble and it is not a nomad does not hold it is sternal. sent13: everything does reissue forelimb. sent14: the crinkleroot is coeliac if something that is sternal is a kind of a barren. sent15: the fact that the scalper is both not a knobble and a nomad is not true. ; $proof$ = 
sent12 -> int1: if that the scalper is not a kind of a knobble and it is not a nomad is incorrect it is sternal.; sent3 & sent7 -> int2: that the scalper is not a knobble and it is not a nomad is false.; int1 & int2 -> int3: the scalper is sternal.; sent6 -> int4: the scalper is a kind of a barren and it does reissue forelimb.; int4 -> int5: the scalper is a kind of a barren.; int3 & int5 -> int6: the scalper is sternal and a barren.; int6 -> int7: something is not non-sternal and it is a barren.; int7 & sent14 -> int8: the crinkleroot is coeliac.; int8 & sent10 -> int9: the things harries Arctocephalus.; __UNKNOWN__