>>416
お前「A → B かつ B → C」から「A → C」を導く計算を「人格」とか主張するつもりか