the affenpinscher jellifies Acer.
sent1: the ovolo preempts Pamlico. sent2: the basidiospore preempts Pamlico if the fact that the ovolo preempts Pamlico hold. sent3: the doily is a Adad if that the basidiospore preempts Pamlico hold. sent4: that everything is a Anglican and it is not a kind of a Inge hold. sent5: everything is not a Inge. sent6: if that the batik is not a bohemian is not incorrect then the affenpinscher is both not a Crotalus and bohemian. sent7: if the batik is not a bohemian the affenpinscher is not a Crotalus. sent8: if the adaptation is a Anglican but it is not a Inge then the batik is not a bohemian.
sent4 -> int1: the adaptation is a Anglican and is not a Inge.; int1 & sent8 -> int2: the fact that the batik is not a bohemian is not false.; int2 & sent6 -> int3: the affenpinscher is both not a Crotalus and bohemian.;
the affenpinscher does not jellify Acer.
sent2 & sent1 -> int4: that the basidiospore preempts Pamlico is true.; sent3 & int4 -> int5: the doily is a Adad.;
$hypothesis$ = the affenpinscher jellifies Acer. ; $context$ = sent1: the ovolo preempts Pamlico. sent2: the basidiospore preempts Pamlico if the fact that the ovolo preempts Pamlico hold. sent3: the doily is a Adad if that the basidiospore preempts Pamlico hold. sent4: that everything is a Anglican and it is not a kind of a Inge hold. sent5: everything is not a Inge. sent6: if that the batik is not a bohemian is not incorrect then the affenpinscher is both not a Crotalus and bohemian. sent7: if the batik is not a bohemian the affenpinscher is not a Crotalus. sent8: if the adaptation is a Anglican but it is not a Inge then the batik is not a bohemian. ; $proof$ = 
sent4 -> int1: the adaptation is a Anglican and is not a Inge.; int1 & sent8 -> int2: the fact that the batik is not a bohemian is not false.; int2 & sent6 -> int3: the affenpinscher is both not a Crotalus and bohemian.; __UNKNOWN__