that the bang is a lode is correct.
sent1: if something is not a carboxyl then that it is not a kind of a unselfconsciousness and it professes is not correct. sent2: the spokesperson is not a carboxyl. sent3: if the spokesperson is not a curette that it is not a kind of a trademark and it is a carboxyl is false. sent4: the fact that something is not a kind of a canyonside and trademarks does not hold if it is not hexangular. sent5: if the negus is not a trademark the bang is not a lode. sent6: something is not nonreticulate if that it is mini is not false. sent7: if the fact that the rough is both not a canyonside and a trademark is incorrect then the negus is a sulcus. sent8: if the rough does letter tannoy but it is not a curette the bang is a kind of a lode. sent9: if there is something such that the fact that it is not a unselfconsciousness and does profess is not correct the negus is not a kind of a sulcus.
void -> assump1: Let's assume that the fact that the rough letters tannoy but it is not a curette is wrong.; sent4 -> int1: the fact that the rough is not a canyonside and is a trademark is not right if it is not hexangular.; sent1 -> int2: the fact that the spokesperson is not a unselfconsciousness and does profess is not right if it is not a kind of a carboxyl.; int2 & sent2 -> int3: the fact that the spokesperson is not a unselfconsciousness but it professes is not correct.; int3 -> int4: there exists something such that the fact that it is not a kind of a unselfconsciousness and it professes does not hold.; int4 & sent9 -> int5: the negus is not a kind of a sulcus.;
the bang is not a lode.
$hypothesis$ = that the bang is a lode is correct. ; $context$ = sent1: if something is not a carboxyl then that it is not a kind of a unselfconsciousness and it professes is not correct. sent2: the spokesperson is not a carboxyl. sent3: if the spokesperson is not a curette that it is not a kind of a trademark and it is a carboxyl is false. sent4: the fact that something is not a kind of a canyonside and trademarks does not hold if it is not hexangular. sent5: if the negus is not a trademark the bang is not a lode. sent6: something is not nonreticulate if that it is mini is not false. sent7: if the fact that the rough is both not a canyonside and a trademark is incorrect then the negus is a sulcus. sent8: if the rough does letter tannoy but it is not a curette the bang is a kind of a lode. sent9: if there is something such that the fact that it is not a unselfconsciousness and does profess is not correct the negus is not a kind of a sulcus. ; $proof$ = 
void -> assump1: Let's assume that the fact that the rough letters tannoy but it is not a curette is wrong.; sent4 -> int1: the fact that the rough is not a canyonside and is a trademark is not right if it is not hexangular.; sent1 -> int2: the fact that the spokesperson is not a unselfconsciousness and does profess is not right if it is not a kind of a carboxyl.; int2 & sent2 -> int3: the fact that the spokesperson is not a unselfconsciousness but it professes is not correct.; int3 -> int4: there exists something such that the fact that it is not a kind of a unselfconsciousness and it professes does not hold.; int4 & sent9 -> int5: the negus is not a kind of a sulcus.; __UNKNOWN__