三段論法
https://ja.wikipedia.org/wiki/三段論法
code:tree.mermaid
graph TD
A理由:人は死ぬ --> B理由:アリストテレスは人 -->|ゆえに| C結論:アリストテレスは死ぬ
ソクラテスなのか、アリストテレスなのか