graph TD A[理由:人は死ぬ] --> B[理由:アリストテレスは人] -->|ゆえに| C[結論:アリストテレスは死ぬ]