that the fact that the diamondback does not frighten trainer and is a pharmaceutical does not hold is true.
sent1: a Tetraodontidae does not frighten trainer and is a pharmaceutical. sent2: if the mastodon is a Tetraodontidae the anticoagulant does frighten manure. sent3: something that does not frighten manure is a Tetraodontidae and clouts. sent4: the butane is not a kind of a clout. sent5: the streak is punic. sent6: if there is something such that that it does frighten Hodgkin and it is a linkage is wrong the mastodon does not frighten codeine. sent7: if the mastodon does not frighten codeine and is not a Microscopium then the diamondback does not frighten manure. sent8: that the fact that the silverware does not peep and is Slavonic is false is not false. sent9: the silique is not a Microscopium or it is not a Mosaic or both if the streak is punic. sent10: the hodman is not meritocratic if there is something such that the fact that it does not peep and is Slavonic does not hold. sent11: the mastodon is a Tetraodontidae and is a kind of a clout. sent12: if the anticoagulant does frighten manure then the hodman is not a kind of a Microscopium but it frighten manure. sent13: if the hodman is not meritocratic the fact that the anticoagulant does frighten Hodgkin and is a linkage does not hold. sent14: the silique is a pharmaceutical if the hodman frightens manure.
sent11 -> int1: the mastodon is a kind of a Tetraodontidae.; sent2 & int1 -> int2: that the anticoagulant does frighten manure is not wrong.; sent12 & int2 -> int3: the hodman is not a Microscopium but it frightens manure.; int3 -> int4: the hodman frightens manure.; sent14 & int4 -> int5: the silique is pharmaceutical.;
the diamondback does not frighten trainer and is a kind of a pharmaceutical.
sent1 -> int6: if the diamondback is a Tetraodontidae then it does not frighten trainer and is a kind of a pharmaceutical.; sent3 -> int7: if the diamondback does not frighten manure it is both a Tetraodontidae and a clout.; sent8 -> int8: there is something such that that it does not peep and it is Slavonic is incorrect.; int8 & sent10 -> int9: that the hodman is not meritocratic is not false.; sent13 & int9 -> int10: the fact that the anticoagulant does frighten Hodgkin and it is a linkage is not correct.; int10 -> int11: there exists something such that the fact that it does frighten Hodgkin and it is a linkage is false.; int11 & sent6 -> int12: the fact that the mastodon does not frighten codeine is not incorrect.; sent9 & sent5 -> int13: the silique is not a Microscopium or not Mosaic or both.;
$hypothesis$ = that the fact that the diamondback does not frighten trainer and is a pharmaceutical does not hold is true. ; $context$ = sent1: a Tetraodontidae does not frighten trainer and is a pharmaceutical. sent2: if the mastodon is a Tetraodontidae the anticoagulant does frighten manure. sent3: something that does not frighten manure is a Tetraodontidae and clouts. sent4: the butane is not a kind of a clout. sent5: the streak is punic. sent6: if there is something such that that it does frighten Hodgkin and it is a linkage is wrong the mastodon does not frighten codeine. sent7: if the mastodon does not frighten codeine and is not a Microscopium then the diamondback does not frighten manure. sent8: that the fact that the silverware does not peep and is Slavonic is false is not false. sent9: the silique is not a Microscopium or it is not a Mosaic or both if the streak is punic. sent10: the hodman is not meritocratic if there is something such that the fact that it does not peep and is Slavonic does not hold. sent11: the mastodon is a Tetraodontidae and is a kind of a clout. sent12: if the anticoagulant does frighten manure then the hodman is not a kind of a Microscopium but it frighten manure. sent13: if the hodman is not meritocratic the fact that the anticoagulant does frighten Hodgkin and is a linkage does not hold. sent14: the silique is a pharmaceutical if the hodman frightens manure. ; $proof$ = 
sent11 -> int1: the mastodon is a kind of a Tetraodontidae.; sent2 & int1 -> int2: that the anticoagulant does frighten manure is not wrong.; sent12 & int2 -> int3: the hodman is not a Microscopium but it frightens manure.; int3 -> int4: the hodman frightens manure.; sent14 & int4 -> int5: the silique is pharmaceutical.; __UNKNOWN__