the kitbag is a disunion.
sent1: if the kitbag is a keeshond then it sensualizes forger. sent2: if something is a towhead then it is a kind of a disunion. sent3: something does sensualize forger and it is a endocranium if it is not a keeshond. sent4: the kitbag is chyliferous. sent5: that the kitbag is the endocranium if the kitbag is a disunion hold. sent6: the collimator is a disunion. sent7: if the collimator is a kind of a keeshond but it is not a endocranium the kitbag is a endocranium. sent8: the kitbag is a endocranium if it is a keeshond. sent9: something is a towhead if it is a keeshond. sent10: the kitbag is aldermanic. sent11: if there is something such that the fact that it is a disunion that is not a keeshond is false then the collimator is a keeshond. sent12: the sweetbread is a keeshond. sent13: that something is a disunion but it is not a kind of a keeshond is wrong if it is a towhead. sent14: the collimator is a towhead if the kitbag is a keeshond. sent15: that the sweetbread is a kind of a towhead hold. sent16: The forger sensualizes collimator. sent17: the sweetbread is a disunion. sent18: the kitbag is a keeshond if that the sweetbread is a endocranium is not wrong. sent19: the sweetbread is a endocranium if the collimator does sensualize forger. sent20: the kitbag is a Macedon. sent21: if that the sweetbread is not a keeshond and/or it is a kind of a towhead is wrong the collimator is not a keeshond.
sent9 -> int1: the kitbag is a towhead if it is a kind of a keeshond.; sent2 -> int2: if the kitbag is a towhead then it is a disunion.;
the kitbag is not a disunion.
sent3 -> int3: if the collimator is not a kind of a keeshond it sensualizes forger and it is a endocranium.;
$hypothesis$ = the kitbag is a disunion. ; $context$ = sent1: if the kitbag is a keeshond then it sensualizes forger. sent2: if something is a towhead then it is a kind of a disunion. sent3: something does sensualize forger and it is a endocranium if it is not a keeshond. sent4: the kitbag is chyliferous. sent5: that the kitbag is the endocranium if the kitbag is a disunion hold. sent6: the collimator is a disunion. sent7: if the collimator is a kind of a keeshond but it is not a endocranium the kitbag is a endocranium. sent8: the kitbag is a endocranium if it is a keeshond. sent9: something is a towhead if it is a keeshond. sent10: the kitbag is aldermanic. sent11: if there is something such that the fact that it is a disunion that is not a keeshond is false then the collimator is a keeshond. sent12: the sweetbread is a keeshond. sent13: that something is a disunion but it is not a kind of a keeshond is wrong if it is a towhead. sent14: the collimator is a towhead if the kitbag is a keeshond. sent15: that the sweetbread is a kind of a towhead hold. sent16: The forger sensualizes collimator. sent17: the sweetbread is a disunion. sent18: the kitbag is a keeshond if that the sweetbread is a endocranium is not wrong. sent19: the sweetbread is a endocranium if the collimator does sensualize forger. sent20: the kitbag is a Macedon. sent21: if that the sweetbread is not a keeshond and/or it is a kind of a towhead is wrong the collimator is not a keeshond. ; $proof$ = 
sent9 -> int1: the kitbag is a towhead if it is a kind of a keeshond.; sent2 -> int2: if the kitbag is a towhead then it is a disunion.; __UNKNOWN__