the bracket is not a kind of an annum.
sent1: that the androgen is a kind of a Bertillon and it is a redpoll is wrong. sent2: that the southwester is not supernal but a Bertillon does not hold. sent3: there is nothing such that it is both a Bertillon and a redpoll. sent4: the fact that the eremite is non-Hittite thing that is a redpoll is false. sent5: that the fact that the androgen is not a kind of a Bertillon and is an annum is not false is not true. sent6: the bracket is not a kind of an annum if there is something such that it is a Bertillon. sent7: the fact that the androgen does not scald singles and is a Dorian is not right. sent8: the androgen is not an annum. sent9: there exists nothing that is both not a Bertillon and a redpoll. sent10: if there exists something such that the fact that it is not a Bertillon and it is a redpoll does not hold then the bracket is not an annum. sent11: there exists something such that the fact that it is a kind of a Bertillon and it is a redpoll is wrong. sent12: there exists something such that the fact that it is not a redpoll and is a kind of an annum is wrong.
sent9 -> int1: that the androgen is not a Bertillon and is a redpoll is not true.; int1 -> int2: there exists something such that that it is both not a Bertillon and a redpoll is false.; int2 & sent10 -> hypothesis;
$hypothesis$ = the bracket is not a kind of an annum. ; $context$ = sent1: that the androgen is a kind of a Bertillon and it is a redpoll is wrong. sent2: that the southwester is not supernal but a Bertillon does not hold. sent3: there is nothing such that it is both a Bertillon and a redpoll. sent4: the fact that the eremite is non-Hittite thing that is a redpoll is false. sent5: that the fact that the androgen is not a kind of a Bertillon and is an annum is not false is not true. sent6: the bracket is not a kind of an annum if there is something such that it is a Bertillon. sent7: the fact that the androgen does not scald singles and is a Dorian is not right. sent8: the androgen is not an annum. sent9: there exists nothing that is both not a Bertillon and a redpoll. sent10: if there exists something such that the fact that it is not a Bertillon and it is a redpoll does not hold then the bracket is not an annum. sent11: there exists something such that the fact that it is a kind of a Bertillon and it is a redpoll is wrong. sent12: there exists something such that the fact that it is not a redpoll and is a kind of an annum is wrong. ; $proof$ = 
sent9 -> int1: that the androgen is not a Bertillon and is a redpoll is not true.; int1 -> int2: there exists something such that that it is both not a Bertillon and a redpoll is false.; int2 & sent10 -> hypothesis; __PROVED__