the Nesselrode is a schnecken.
sent1: if that the comber is non-fistulous and it is not a discussant is false it is a mutilator. sent2: that the comber is not fistulous and is not a kind of a discussant does not hold. sent3: something is a kind of a schnecken if that that it is not a clinker and not a marginalization hold does not hold.
sent1 & sent2 -> int1: that the comber is a mutilator is right.; sent3 -> int2: if that the Nesselrode is not a kind of a clinker and it is not a marginalization is wrong then it is a schnecken.;
$hypothesis$ = the Nesselrode is a schnecken. ; $context$ = sent1: if that the comber is non-fistulous and it is not a discussant is false it is a mutilator. sent2: that the comber is not fistulous and is not a kind of a discussant does not hold. sent3: something is a kind of a schnecken if that that it is not a clinker and not a marginalization hold does not hold. ; $proof$ = 
sent1 & sent2 -> int1: that the comber is a mutilator is right.; sent3 -> int2: if that the Nesselrode is not a kind of a clinker and it is not a marginalization is wrong then it is a schnecken.; __UNKNOWN__