something is a congressman and is a western.
sent1: the fact that the siren is not a kind of a kinswoman and it is not a congressman is not true if it is not autacoidal. sent2: if something is not a western then the fact that that it is not a kind of a Hebei and it is not a kind of a bitok is not wrong is incorrect. sent3: there exists something such that it is western. sent4: the yellowbird is a kind of a congressman if there exists something such that that it is not autacoidal hold. sent5: there is something such that it does not labor genuflection. sent6: there is something such that it is not a kind of a nightlife and is not a provitamin. sent7: there is something such that the fact that it does not labor yellowbird is not incorrect. sent8: if there exists something such that that it is not a kind of a nightlife and it is not a provitamin is incorrect then the chignon is a western. sent9: there exists something such that that it is a Maidu is not false. sent10: there is something such that the fact that it is not a kind of a nightlife and it is a kind of a provitamin is not true. sent11: there exists something such that it is a congressman. sent12: there is something such that the fact that it is both a nightlife and not a provitamin is incorrect. sent13: if something is a kind of a nightlife the chignon is western. sent14: if there is something such that it is not a kind of a kinswoman the chignon is a congressman. sent15: there exists something such that it is not a kind of a kinswoman.
sent15 & sent14 -> int1: the chignon is a kind of a congressman.;
there is something such that that it is not a Hebei and it is not a bitok is not right.
sent2 -> int2: the fact that the chignon is not a kind of a Hebei and is not a bitok is not right if it is not a western.;
$hypothesis$ = something is a congressman and is a western. ; $context$ = sent1: the fact that the siren is not a kind of a kinswoman and it is not a congressman is not true if it is not autacoidal. sent2: if something is not a western then the fact that that it is not a kind of a Hebei and it is not a kind of a bitok is not wrong is incorrect. sent3: there exists something such that it is western. sent4: the yellowbird is a kind of a congressman if there exists something such that that it is not autacoidal hold. sent5: there is something such that it does not labor genuflection. sent6: there is something such that it is not a kind of a nightlife and is not a provitamin. sent7: there is something such that the fact that it does not labor yellowbird is not incorrect. sent8: if there exists something such that that it is not a kind of a nightlife and it is not a provitamin is incorrect then the chignon is a western. sent9: there exists something such that that it is a Maidu is not false. sent10: there is something such that the fact that it is not a kind of a nightlife and it is a kind of a provitamin is not true. sent11: there exists something such that it is a congressman. sent12: there is something such that the fact that it is both a nightlife and not a provitamin is incorrect. sent13: if something is a kind of a nightlife the chignon is western. sent14: if there is something such that it is not a kind of a kinswoman the chignon is a congressman. sent15: there exists something such that it is not a kind of a kinswoman. ; $proof$ = 
sent15 & sent14 -> int1: the chignon is a kind of a congressman.; __UNKNOWN__