>>336
A|-B
|-A→B
これをメタに認めれば自明です
|-と→の区別があることがわかれば、スッキリするわけです