the Northerner is both a record and a topping.
sent1: the Northerner is not radiographic if it is a badge and it is a kind of a self-pollination. sent2: something is not a kind of a self-pollination if it does not record. sent3: the fact that the fact that something is a badge that is not a kind of a self-pollination is not wrong if it is not a kind of a record is not wrong. sent4: the Northerner is radiographic. sent5: if the Georgian is not a record then the newmarket is intentional but it is not a by-and-by. sent6: the Northerner is not a self-pollination. sent7: something is not baccate and it is not a deaf if the fact that it is tight is right. sent8: the Bible is not a kind of a self-pollination. sent9: the colophon is an agate and is a Ailurus. sent10: the colophon is not baccate if that it is baccate and it is not tight is false. sent11: everything is tight. sent12: the Northerner tops. sent13: if there is something such that the fact that it is a kind of non-radiographic thing that does top is wrong the Georgian does not record. sent14: the Northerner is not a self-pollination if that it is a record does not hold. sent15: the fact that the colophon is not non-baccate but it is not tight does not hold if it is a kind of an agate.
sent3 -> int1: if the Northerner does not record then it badges and it is not a self-pollination.; void -> assump1: Let's assume that the Northerner does not record.; int1 & assump1 -> int2: the Northerner is both a badge and not a self-pollination.;
the fact that the Northerner is a record and a topping does not hold.
sent9 -> int3: the colophon is a kind of an agate.; sent15 & int3 -> int4: that the colophon is baccate but it is not tight is not true.; sent10 & int4 -> int5: the colophon is not baccate.; int5 -> int6: there exists something such that it is not baccate.;
$hypothesis$ = the Northerner is both a record and a topping. ; $context$ = sent1: the Northerner is not radiographic if it is a badge and it is a kind of a self-pollination. sent2: something is not a kind of a self-pollination if it does not record. sent3: the fact that the fact that something is a badge that is not a kind of a self-pollination is not wrong if it is not a kind of a record is not wrong. sent4: the Northerner is radiographic. sent5: if the Georgian is not a record then the newmarket is intentional but it is not a by-and-by. sent6: the Northerner is not a self-pollination. sent7: something is not baccate and it is not a deaf if the fact that it is tight is right. sent8: the Bible is not a kind of a self-pollination. sent9: the colophon is an agate and is a Ailurus. sent10: the colophon is not baccate if that it is baccate and it is not tight is false. sent11: everything is tight. sent12: the Northerner tops. sent13: if there is something such that the fact that it is a kind of non-radiographic thing that does top is wrong the Georgian does not record. sent14: the Northerner is not a self-pollination if that it is a record does not hold. sent15: the fact that the colophon is not non-baccate but it is not tight does not hold if it is a kind of an agate. ; $proof$ = 
sent3 -> int1: if the Northerner does not record then it badges and it is not a self-pollination.; void -> assump1: Let's assume that the Northerner does not record.; int1 & assump1 -> int2: the Northerner is both a badge and not a self-pollination.; __UNKNOWN__