the ianfu is not a kind of a Prussian.
sent1: if the asshole is autotelic then the ianfu does guarantee honeysuckle. sent2: the bonduc is disobedient if the fact that it is a kind of inside thing that is not a Capsella is not right. sent3: if that the asshole is not non-autotelic is not incorrect then the ianfu does not process Nalchik and does guarantee honeysuckle. sent4: if the ianfu does process Nalchik the bonduc is not a Capsella but it is Prussian. sent5: the bonduc does not guarantee honeysuckle if it is a positive and it is a kind of a Prussian. sent6: that the bonduc is disobedient is not incorrect if that it is a Capsella is not incorrect. sent7: if something is disobedient and it is autotelic it is not a kind of a Prussian. sent8: the fact that the asshole is autotelic is correct if the bonduc is disobedient. sent9: the fact that the bonduc is both an inside and not a Capsella is not true. sent10: something is disobedient if that it is a positive and not disobedient is not right. sent11: the fact that the bonduc is an inside that is a Capsella is not right. sent12: the fact that the ianfu guarantees honeysuckle hold. sent13: if the ianfu does not process Nalchik and does guarantee honeysuckle then it is a Prussian. sent14: if the ianfu is utopian the fact that it is a positive and it is not disobedient is not true. sent15: that the ianfu is utopian is correct. sent16: if the bonduc does not guarantee honeysuckle the asshole is disobedient and it does process Nalchik.
sent2 & sent9 -> int1: the bonduc is disobedient.; int1 & sent8 -> int2: the asshole is autotelic.; int2 & sent3 -> int3: the ianfu does not process Nalchik but it guarantees honeysuckle.; int3 & sent13 -> hypothesis;
the ianfu is not a kind of a Prussian.
sent7 -> int4: if the ianfu is both not obedient and not non-autotelic it is not a Prussian.; sent10 -> int5: if the fact that the ianfu is positive and not disobedient does not hold the fact that it is disobedient is correct.;
$hypothesis$ = the ianfu is not a kind of a Prussian. ; $context$ = sent1: if the asshole is autotelic then the ianfu does guarantee honeysuckle. sent2: the bonduc is disobedient if the fact that it is a kind of inside thing that is not a Capsella is not right. sent3: if that the asshole is not non-autotelic is not incorrect then the ianfu does not process Nalchik and does guarantee honeysuckle. sent4: if the ianfu does process Nalchik the bonduc is not a Capsella but it is Prussian. sent5: the bonduc does not guarantee honeysuckle if it is a positive and it is a kind of a Prussian. sent6: that the bonduc is disobedient is not incorrect if that it is a Capsella is not incorrect. sent7: if something is disobedient and it is autotelic it is not a kind of a Prussian. sent8: the fact that the asshole is autotelic is correct if the bonduc is disobedient. sent9: the fact that the bonduc is both an inside and not a Capsella is not true. sent10: something is disobedient if that it is a positive and not disobedient is not right. sent11: the fact that the bonduc is an inside that is a Capsella is not right. sent12: the fact that the ianfu guarantees honeysuckle hold. sent13: if the ianfu does not process Nalchik and does guarantee honeysuckle then it is a Prussian. sent14: if the ianfu is utopian the fact that it is a positive and it is not disobedient is not true. sent15: that the ianfu is utopian is correct. sent16: if the bonduc does not guarantee honeysuckle the asshole is disobedient and it does process Nalchik. ; $proof$ = 
sent2 & sent9 -> int1: the bonduc is disobedient.; int1 & sent8 -> int2: the asshole is autotelic.; int2 & sent3 -> int3: the ianfu does not process Nalchik but it guarantees honeysuckle.; int3 & sent13 -> hypothesis; __DISPROVED__