abduction:
前提１ ソクラテスは死ぬ（Ａ）
前提２ ソクラテスが人間であれば、ソクラテスは死ぬ（ＢならばＡ）
結論 ソクラテスは人間である（Ｂ）

パースは天才だよ。