the fact that the tapenade is not a Diderot is true.
sent1: the fact that something is not a kind of a uncial but it is a bitthead does not hold if it is not a kind of a Guinean. sent2: the ectomorph is not a kind of a study and it does not top. sent3: if there exists something such that the fact that it is non-Nazi and is a Guinean is false then the barbasco is not a kind of a Diderot. sent4: if a Omani does not stale watcher it is not Nazi. sent5: The Nanchang does not smash rumrunner. sent6: that the rumrunner is both a Guinean and a Nazi does not hold if it is not a kind of a bitthead. sent7: that the rumrunner does not stale watcher is true. sent8: the rumrunner does not smash Nanchang. sent9: the tapenade is not a Diderot if there is something such that the fact that it is a kind of non-uncial a bitthead is not correct. sent10: if the tapenade is not a Diderot then the barbasco is not a Diderot. sent11: that the abbe is both not a Argus and a bouillabaisse is incorrect. sent12: something is not a uncial and smashes Nanchang. sent13: if the rumrunner does not smash Nanchang it is Omani and it does not stale watcher. sent14: that the rumrunner is not a bitthead and binds is incorrect if it is not a kind of a metropolitan. sent15: the barbasco is not a Nazi. sent16: the barbasco is not a kind of a Nazi and it is not a Guinean if the rumrunner is not Nazi. sent17: if a Omani thing is not a kind of a bitthead it is not a Diderot.
sent4 -> int1: the rumrunner is not Nazi if it is a kind of a Omani and it does not stale watcher.; sent13 & sent8 -> int2: the rumrunner is Omani but it does not stale watcher.; int1 & int2 -> int3: the rumrunner is not a kind of a Nazi.; int3 & sent16 -> int4: the barbasco is both non-Nazi and non-Guinean.; int4 -> int5: the barbasco is not a Guinean.; sent1 -> int6: that the barbasco is not uncial and is a bitthead is not correct if it is not a Guinean.; int5 & int6 -> int7: that the barbasco is not a kind of a uncial but it is a kind of a bitthead is wrong.; int7 -> int8: there is something such that that it is both not uncial and a bitthead is not right.; int8 & sent9 -> hypothesis;
$hypothesis$ = the fact that the tapenade is not a Diderot is true. ; $context$ = sent1: the fact that something is not a kind of a uncial but it is a bitthead does not hold if it is not a kind of a Guinean. sent2: the ectomorph is not a kind of a study and it does not top. sent3: if there exists something such that the fact that it is non-Nazi and is a Guinean is false then the barbasco is not a kind of a Diderot. sent4: if a Omani does not stale watcher it is not Nazi. sent5: The Nanchang does not smash rumrunner. sent6: that the rumrunner is both a Guinean and a Nazi does not hold if it is not a kind of a bitthead. sent7: that the rumrunner does not stale watcher is true. sent8: the rumrunner does not smash Nanchang. sent9: the tapenade is not a Diderot if there is something such that the fact that it is a kind of non-uncial a bitthead is not correct. sent10: if the tapenade is not a Diderot then the barbasco is not a Diderot. sent11: that the abbe is both not a Argus and a bouillabaisse is incorrect. sent12: something is not a uncial and smashes Nanchang. sent13: if the rumrunner does not smash Nanchang it is Omani and it does not stale watcher. sent14: that the rumrunner is not a bitthead and binds is incorrect if it is not a kind of a metropolitan. sent15: the barbasco is not a Nazi. sent16: the barbasco is not a kind of a Nazi and it is not a Guinean if the rumrunner is not Nazi. sent17: if a Omani thing is not a kind of a bitthead it is not a Diderot. ; $proof$ = 
sent4 -> int1: the rumrunner is not Nazi if it is a kind of a Omani and it does not stale watcher.; sent13 & sent8 -> int2: the rumrunner is Omani but it does not stale watcher.; int1 & int2 -> int3: the rumrunner is not a kind of a Nazi.; int3 & sent16 -> int4: the barbasco is both non-Nazi and non-Guinean.; int4 -> int5: the barbasco is not a Guinean.; sent1 -> int6: that the barbasco is not uncial and is a bitthead is not correct if it is not a Guinean.; int5 & int6 -> int7: that the barbasco is not a kind of a uncial but it is a kind of a bitthead is wrong.; int7 -> int8: there is something such that that it is both not uncial and a bitthead is not right.; int8 & sent9 -> hypothesis; __PROVED__