the chordophone is not non-mesomorphic.
sent1: there exists something such that it is a kind of an endive. sent2: if the chordophone does imply hydrofoil then it does imply Pepsi. sent3: the battle-ax does not imply Pepsi if it is not mesomorphic and is not an omega. sent4: something is not a kind of a splice but it is an endive. sent5: something that is impractical does imply hydrofoil. sent6: the chordophone is mesomorphic if it does imply Pepsi. sent7: the chordophone is not practical if there is something such that it is not a kind of a splice and is an endive. sent8: something is eutherian if it is not funerary. sent9: the fact that something is practical and it does imply hydrofoil is not correct if it does not imply Pepsi. sent10: there exists something such that it splices and it is an endive. sent11: the gristmill does imply Pepsi. sent12: there is something such that the fact that it is not a splice is right.
sent4 & sent7 -> int1: the chordophone is not practical.; sent5 -> int2: if the chordophone is not practical it implies hydrofoil.; int1 & int2 -> int3: the chordophone does imply hydrofoil.; int3 & sent2 -> int4: the chordophone does imply Pepsi.; int4 & sent6 -> hypothesis;
the chordophone is not mesomorphic.
sent9 -> int5: the fact that the chordophone is practical and it implies hydrofoil is not correct if it does not imply Pepsi.;
$hypothesis$ = the chordophone is not non-mesomorphic. ; $context$ = sent1: there exists something such that it is a kind of an endive. sent2: if the chordophone does imply hydrofoil then it does imply Pepsi. sent3: the battle-ax does not imply Pepsi if it is not mesomorphic and is not an omega. sent4: something is not a kind of a splice but it is an endive. sent5: something that is impractical does imply hydrofoil. sent6: the chordophone is mesomorphic if it does imply Pepsi. sent7: the chordophone is not practical if there is something such that it is not a kind of a splice and is an endive. sent8: something is eutherian if it is not funerary. sent9: the fact that something is practical and it does imply hydrofoil is not correct if it does not imply Pepsi. sent10: there exists something such that it splices and it is an endive. sent11: the gristmill does imply Pepsi. sent12: there is something such that the fact that it is not a splice is right. ; $proof$ = 
sent4 & sent7 -> int1: the chordophone is not practical.; sent5 -> int2: if the chordophone is not practical it implies hydrofoil.; int1 & int2 -> int3: the chordophone does imply hydrofoil.; int3 & sent2 -> int4: the chordophone does imply Pepsi.; int4 & sent6 -> hypothesis; __PROVED__