the manakin is not a Pakistani.
sent1: the manakin is a Pakistani if the loupe is denominational. sent2: if the fact that something is a kind of a Bakelite but it is not Soviet does not hold it is not Soviet. sent3: if the cayenne is Soviet and it is a kind of a Bakelite then the manakin is not Pakistani. sent4: the calla is not a mead if the fact that the aldol does expect is right. sent5: if the loupe unseals then the cayenne is Soviet. sent6: the aldol expects. sent7: the loupe is either not non-Soviet or a Southeast or both. sent8: the cayenne is a kind of a Tamarindus. sent9: either the loupe is denominational or it does unseal or both. sent10: either the loupe is denominational or it is a Pakistani or both if something does unseal. sent11: the cayenne unseals if the loupe is a kind of a Bakelite. sent12: the cayenne is Soviet if the loupe is denominational. sent13: the diocesan is a kind of a fling and is a kind of a Tamarindus if there is something such that it is not a kind of a mead. sent14: if the diocesan is Soviet the cayenne unseals.
sent9 & sent12 & sent5 -> int1: the cayenne is Soviet.;
the manakin is Pakistani.
sent2 -> int2: if that the diocesan is a Bakelite but it is not Soviet is wrong it is Soviet.; sent4 & sent6 -> int3: that the calla is not a kind of a mead is true.; int3 -> int4: there is something such that it is not a kind of a mead.; int4 & sent13 -> int5: the diocesan is a fling and a Tamarindus.; int5 -> int6: the diocesan is a Tamarindus.;
$hypothesis$ = the manakin is not a Pakistani. ; $context$ = sent1: the manakin is a Pakistani if the loupe is denominational. sent2: if the fact that something is a kind of a Bakelite but it is not Soviet does not hold it is not Soviet. sent3: if the cayenne is Soviet and it is a kind of a Bakelite then the manakin is not Pakistani. sent4: the calla is not a mead if the fact that the aldol does expect is right. sent5: if the loupe unseals then the cayenne is Soviet. sent6: the aldol expects. sent7: the loupe is either not non-Soviet or a Southeast or both. sent8: the cayenne is a kind of a Tamarindus. sent9: either the loupe is denominational or it does unseal or both. sent10: either the loupe is denominational or it is a Pakistani or both if something does unseal. sent11: the cayenne unseals if the loupe is a kind of a Bakelite. sent12: the cayenne is Soviet if the loupe is denominational. sent13: the diocesan is a kind of a fling and is a kind of a Tamarindus if there is something such that it is not a kind of a mead. sent14: if the diocesan is Soviet the cayenne unseals. ; $proof$ = 
sent9 & sent12 & sent5 -> int1: the cayenne is Soviet.; __UNKNOWN__