the piston is non-large-capitalization and vesical.
sent1: something that is both not a herbivore and not a supertonic is not a Titanosaurus. sent2: something is a herbivore if it is not a supertonic. sent3: the piston is a herbivore if it is not a kind of a supertonic. sent4: the ladder is not unactable. sent5: the fact that the piston does not usher canicule but it is a supertonic is incorrect if the ladder is not unactable. sent6: that the sinapism is a Titanosaurus and not a schoolwork is wrong if the citronwood is not a supertonic. sent7: if that something is large-capitalization is not wrong it is a hypo. sent8: that the sinapism is a Christchurch and not a schoolwork does not hold if the citronwood is not a Titanosaurus. sent9: something is a hypo if that it is a kind of a Titanosaurus hold. sent10: something is a kind of a herbivore if that it does not usher canicule and it is a supertonic does not hold. sent11: something is a Titanosaurus if it is vesical. sent12: the sinapism does not usher canicule and is not unactable. sent13: there is something such that the fact that it is a kind of a Christchurch that is a schoolwork is not correct. sent14: the citronwood is not vesical if the sinapism is a Titanosaurus. sent15: the sinapism is large-capitalization or it is a Titanosaurus or both if something is a Titanosaurus. sent16: the piston is not large-capitalization if there is something such that that it is a Christchurch and it is not a schoolwork is wrong. sent17: the citronwood is not a kind of a Titanosaurus. sent18: the citronwood is not a herbivore but it is a supertonic if there is something such that the fact that it does not usher canicule is correct.
sent8 & sent17 -> int1: the fact that the sinapism is a Christchurch and not a schoolwork does not hold.; int1 -> int2: there exists something such that that it is a kind of a Christchurch and is not a schoolwork does not hold.; int2 & sent16 -> int3: the piston is not large-capitalization.; sent10 -> int4: the piston is a herbivore if that it does not usher canicule and it is a supertonic is wrong.; sent5 & sent4 -> int5: that the piston does not usher canicule and is a supertonic is not right.; int4 & int5 -> int6: that the piston is a kind of a herbivore hold.;
the sinapism is a kind of a hypo.
sent11 -> int7: if the citronwood is vesical it is a Titanosaurus.; sent7 -> int8: if the sinapism is large-capitalization then that it is a hypo is not wrong.; sent9 -> int9: if the sinapism is a Titanosaurus then that it is a hypo is not incorrect.;
$hypothesis$ = the piston is non-large-capitalization and vesical. ; $context$ = sent1: something that is both not a herbivore and not a supertonic is not a Titanosaurus. sent2: something is a herbivore if it is not a supertonic. sent3: the piston is a herbivore if it is not a kind of a supertonic. sent4: the ladder is not unactable. sent5: the fact that the piston does not usher canicule but it is a supertonic is incorrect if the ladder is not unactable. sent6: that the sinapism is a Titanosaurus and not a schoolwork is wrong if the citronwood is not a supertonic. sent7: if that something is large-capitalization is not wrong it is a hypo. sent8: that the sinapism is a Christchurch and not a schoolwork does not hold if the citronwood is not a Titanosaurus. sent9: something is a hypo if that it is a kind of a Titanosaurus hold. sent10: something is a kind of a herbivore if that it does not usher canicule and it is a supertonic does not hold. sent11: something is a Titanosaurus if it is vesical. sent12: the sinapism does not usher canicule and is not unactable. sent13: there is something such that the fact that it is a kind of a Christchurch that is a schoolwork is not correct. sent14: the citronwood is not vesical if the sinapism is a Titanosaurus. sent15: the sinapism is large-capitalization or it is a Titanosaurus or both if something is a Titanosaurus. sent16: the piston is not large-capitalization if there is something such that that it is a Christchurch and it is not a schoolwork is wrong. sent17: the citronwood is not a kind of a Titanosaurus. sent18: the citronwood is not a herbivore but it is a supertonic if there is something such that the fact that it does not usher canicule is correct. ; $proof$ = 
sent8 & sent17 -> int1: the fact that the sinapism is a Christchurch and not a schoolwork does not hold.; int1 -> int2: there exists something such that that it is a kind of a Christchurch and is not a schoolwork does not hold.; int2 & sent16 -> int3: the piston is not large-capitalization.; sent10 -> int4: the piston is a herbivore if that it does not usher canicule and it is a supertonic is wrong.; sent5 & sent4 -> int5: that the piston does not usher canicule and is a supertonic is not right.; int4 & int5 -> int6: that the piston is a kind of a herbivore hold.; __UNKNOWN__