that there exists something such that if it is not a wrasse then it is not aeromechanics and it is unseaworthy is wrong.
sent1: something that is not a wrasse is unseaworthy. sent2: something that is not a kind of a wrasse is both non-aeromechanics and not seaworthy. sent3: if the jammer does not tweedle candlepins it splutters wash and recombines norgestrel. sent4: there exists something such that if it does not survive it is not an absentee and it abdicates Dendromecon. sent5: something that does not tweedle shekel is not a eliminator and is unregenerate. sent6: there exists something such that if it is a kind of a wrasse it is not aeromechanics and it is unseaworthy.
sent2 -> int1: the jammer is a kind of non-aeromechanics thing that is unseaworthy if it is not a wrasse.; int1 -> hypothesis;
there is something such that if it does not tweedle shekel then it is not a eliminator and it is unregenerate.
sent5 -> int2: if the fact that the candlepins does not tweedle shekel is right then it is not a eliminator and it is unregenerate.; int2 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a wrasse then it is not aeromechanics and it is unseaworthy is wrong. ; $context$ = sent1: something that is not a wrasse is unseaworthy. sent2: something that is not a kind of a wrasse is both non-aeromechanics and not seaworthy. sent3: if the jammer does not tweedle candlepins it splutters wash and recombines norgestrel. sent4: there exists something such that if it does not survive it is not an absentee and it abdicates Dendromecon. sent5: something that does not tweedle shekel is not a eliminator and is unregenerate. sent6: there exists something such that if it is a kind of a wrasse it is not aeromechanics and it is unseaworthy. ; $proof$ = 
sent2 -> int1: the jammer is a kind of non-aeromechanics thing that is unseaworthy if it is not a wrasse.; int1 -> hypothesis; __DISPROVED__