the fist is not a lavaliere.
sent1: if that something is both edible and a rally is not true it does not clank ropewalk. sent2: the fact that the last is neuroendocrine and it does fragment fist is false. sent3: the fist does not fragment Nyx if the fact that the last is not neuroendocrine and does fragment fist does not hold. sent4: the ropewalk does not clank ropewalk if it does not rally. sent5: if the fact that the adumbration is a antitussive but it does not spend is not right it is not edible. sent6: something does not clank ropewalk if it is not a kind of a rally. sent7: that the ropewalk is edible and it rallies is false if the adumbration is not edible. sent8: that the adumbration is a antitussive but it does not spend is false. sent9: the fist is a lavaliere if the adumbration does clank ropewalk. sent10: if the adumbration spends then that it is not edible is correct. sent11: the fist does not fragment Nyx if the last is neuroendocrine. sent12: if that that the last does fragment Nyx but it is not neuroendocrine is correct is wrong then the fact that it does not clank ropewalk is not incorrect. sent13: that the last is neuroendocrine thing that fragments fist is not correct if the ropewalk does not clank ropewalk. sent14: the fact that the last is not neuroendocrine and fragments fist is incorrect if the ropewalk does not clank ropewalk.
sent5 & sent8 -> int1: the adumbration is not edible.; int1 & sent7 -> int2: that the ropewalk is edible a rally is not right.; sent1 -> int3: the ropewalk does not clank ropewalk if that it is edible and it is a rally is incorrect.; int2 & int3 -> int4: the ropewalk does not clank ropewalk.; int4 & sent14 -> int5: that the last is a kind of non-neuroendocrine thing that fragments fist is not true.; int5 & sent3 -> int6: the fist does not fragment Nyx.;
the fist is a lavaliere.
$hypothesis$ = the fist is not a lavaliere. ; $context$ = sent1: if that something is both edible and a rally is not true it does not clank ropewalk. sent2: the fact that the last is neuroendocrine and it does fragment fist is false. sent3: the fist does not fragment Nyx if the fact that the last is not neuroendocrine and does fragment fist does not hold. sent4: the ropewalk does not clank ropewalk if it does not rally. sent5: if the fact that the adumbration is a antitussive but it does not spend is not right it is not edible. sent6: something does not clank ropewalk if it is not a kind of a rally. sent7: that the ropewalk is edible and it rallies is false if the adumbration is not edible. sent8: that the adumbration is a antitussive but it does not spend is false. sent9: the fist is a lavaliere if the adumbration does clank ropewalk. sent10: if the adumbration spends then that it is not edible is correct. sent11: the fist does not fragment Nyx if the last is neuroendocrine. sent12: if that that the last does fragment Nyx but it is not neuroendocrine is correct is wrong then the fact that it does not clank ropewalk is not incorrect. sent13: that the last is neuroendocrine thing that fragments fist is not correct if the ropewalk does not clank ropewalk. sent14: the fact that the last is not neuroendocrine and fragments fist is incorrect if the ropewalk does not clank ropewalk. ; $proof$ = 
sent5 & sent8 -> int1: the adumbration is not edible.; int1 & sent7 -> int2: that the ropewalk is edible a rally is not right.; sent1 -> int3: the ropewalk does not clank ropewalk if that it is edible and it is a rally is incorrect.; int2 & int3 -> int4: the ropewalk does not clank ropewalk.; int4 & sent14 -> int5: that the last is a kind of non-neuroendocrine thing that fragments fist is not true.; int5 & sent3 -> int6: the fist does not fragment Nyx.; __UNKNOWN__