the pomfret is an affiliation.
sent1: if the pomfret is not a kind of a harmonic then it is a pit and it is not a kind of a Foucault. sent2: something does not negotiate Tamarix and does not buy if that it does not soldier immigration hold. sent3: something is not an affiliation if it is a harmonic. sent4: the hutch is not a kind of a harmonic. sent5: something is an affiliation if it is a kind of a pit that is a Foucault. sent6: the Swede is not a kind of a harmonic. sent7: the pomfret is impressive. sent8: if something pits but it is not a Foucault it is a kind of an affiliation. sent9: that the pomfret is Tobagonian is true if it does trisect ivied and it is not a scratcher. sent10: if the ameba negotiates Freya the Sinhalese does not soldier immigration. sent11: if the pomfret is not harmonic it is not a Foucault.
sent8 -> int1: the pomfret is an affiliation if it does pit and it is not a Foucault.;
the pomfret is not an affiliation.
sent3 -> int2: that the pomfret is not an affiliation is not false if that it is a kind of a harmonic is correct.; sent2 -> int3: the Sinhalese does not negotiate Tamarix and does not buy if it does not soldier immigration.;
$hypothesis$ = the pomfret is an affiliation. ; $context$ = sent1: if the pomfret is not a kind of a harmonic then it is a pit and it is not a kind of a Foucault. sent2: something does not negotiate Tamarix and does not buy if that it does not soldier immigration hold. sent3: something is not an affiliation if it is a harmonic. sent4: the hutch is not a kind of a harmonic. sent5: something is an affiliation if it is a kind of a pit that is a Foucault. sent6: the Swede is not a kind of a harmonic. sent7: the pomfret is impressive. sent8: if something pits but it is not a Foucault it is a kind of an affiliation. sent9: that the pomfret is Tobagonian is true if it does trisect ivied and it is not a scratcher. sent10: if the ameba negotiates Freya the Sinhalese does not soldier immigration. sent11: if the pomfret is not harmonic it is not a Foucault. ; $proof$ = 
sent8 -> int1: the pomfret is an affiliation if it does pit and it is not a Foucault.; __UNKNOWN__