the NB is non-trihydroxy.
sent1: if something is topographical it is not a kind of a metaphase. sent2: everything is both inferential and guilty. sent3: if something fudges malodorousness it is trihydroxy. sent4: the NB fudges malodorousness and/or it is not an attainder if there is something such that it is not bacteriological. sent5: the apron does not headquarter NB and/or it is not a kind of a remuda if that there is something such that it does not headquarter NB hold. sent6: the NB is trihydroxy if it fudges malodorousness. sent7: the fact that something is not a kind of a anole but it is autoimmune is incorrect if it is not an herbalist. sent8: something is not trihydroxy if it is not an attainder. sent9: something that does not headquarter NB is both an attainder and not non-bacteriological. sent10: if the heart is a parsimony it is a quahaug. sent11: if the dhow is inferential then it is not an herbalist. sent12: there are bacteriological things. sent13: if the NB does not provide then it does not fudge incompetence. sent14: something is not bacteriological. sent15: if there is something such that the fact that it is both not a anole and autoimmune is not correct that the slaveholder does not headquarter NB is not incorrect. sent16: the tarot does not headquarter NB if the apron does not headquarter NB. sent17: if the tarot is an attainder then the NB does fudge malodorousness.
sent14 & sent4 -> int1: either the NB fudges malodorousness or it is not an attainder or both.; sent8 -> int2: if the NB is not an attainder it is not trihydroxy.;
the NB is trihydroxy.
sent3 -> int3: if the NB fudges malodorousness it is trihydroxy.; sent9 -> int4: if the tarot does not headquarter NB it is an attainder and it is bacteriological.; sent7 -> int5: if the dhow is not an herbalist then the fact that it is not a kind of a anole and it is autoimmune is not right.; sent2 -> int6: the dhow is inferential and it is guilty.; int6 -> int7: the dhow is inferential.; sent11 & int7 -> int8: the dhow is not an herbalist.; int5 & int8 -> int9: that the dhow is not a anole and is autoimmune does not hold.; int9 -> int10: there exists something such that that it is not a anole and it is autoimmune is not true.; int10 & sent15 -> int11: the slaveholder does not headquarter NB.; int11 -> int12: something does not headquarter NB.; int12 & sent5 -> int13: the apron does not headquarter NB or is not a remuda or both.;
$hypothesis$ = the NB is non-trihydroxy. ; $context$ = sent1: if something is topographical it is not a kind of a metaphase. sent2: everything is both inferential and guilty. sent3: if something fudges malodorousness it is trihydroxy. sent4: the NB fudges malodorousness and/or it is not an attainder if there is something such that it is not bacteriological. sent5: the apron does not headquarter NB and/or it is not a kind of a remuda if that there is something such that it does not headquarter NB hold. sent6: the NB is trihydroxy if it fudges malodorousness. sent7: the fact that something is not a kind of a anole but it is autoimmune is incorrect if it is not an herbalist. sent8: something is not trihydroxy if it is not an attainder. sent9: something that does not headquarter NB is both an attainder and not non-bacteriological. sent10: if the heart is a parsimony it is a quahaug. sent11: if the dhow is inferential then it is not an herbalist. sent12: there are bacteriological things. sent13: if the NB does not provide then it does not fudge incompetence. sent14: something is not bacteriological. sent15: if there is something such that the fact that it is both not a anole and autoimmune is not correct that the slaveholder does not headquarter NB is not incorrect. sent16: the tarot does not headquarter NB if the apron does not headquarter NB. sent17: if the tarot is an attainder then the NB does fudge malodorousness. ; $proof$ = 
sent14 & sent4 -> int1: either the NB fudges malodorousness or it is not an attainder or both.; sent8 -> int2: if the NB is not an attainder it is not trihydroxy.; __UNKNOWN__