the mesocarp does outgeneral Alepisaurus and is a kind of a Lyrurus.
sent1: if something is not alluvial then the mesocarp outgenerals Alepisaurus. sent2: if there is something such that it is hair-shirt then the fact that the bandit is not a tanka but alluvial does not hold. sent3: the mesocarp is a kind of a Lyrurus. sent4: the fact that that something is not a kind of a tanka and it is not alluvial is false if it is hair-shirt is not wrong. sent5: if the fact that the wear is not a tanka and is not alluvial is not true the fact that it is alluvial hold. sent6: there exists something such that it is hair-shirt.
sent6 & sent2 -> int1: the fact that the bandit is both not a tanka and alluvial is incorrect.; int1 -> int2: there is something such that that it is both not a tanka and alluvial does not hold.;
the wear is alluvial.
sent4 -> int3: if the wear is hair-shirt that it is both not a tanka and not alluvial does not hold.;
$hypothesis$ = the mesocarp does outgeneral Alepisaurus and is a kind of a Lyrurus. ; $context$ = sent1: if something is not alluvial then the mesocarp outgenerals Alepisaurus. sent2: if there is something such that it is hair-shirt then the fact that the bandit is not a tanka but alluvial does not hold. sent3: the mesocarp is a kind of a Lyrurus. sent4: the fact that that something is not a kind of a tanka and it is not alluvial is false if it is hair-shirt is not wrong. sent5: if the fact that the wear is not a tanka and is not alluvial is not true the fact that it is alluvial hold. sent6: there exists something such that it is hair-shirt. ; $proof$ = 
sent6 & sent2 -> int1: the fact that the bandit is both not a tanka and alluvial is incorrect.; int1 -> int2: there is something such that that it is both not a tanka and alluvial does not hold.; __UNKNOWN__