それで「AがBであった場合Cと言える」
という論理に対する「実例がないから言えない()」の根拠はまだなのか