反证法 程心: 令程心不是畜生 那么她就会发出黑暗森林威慑 ∵她放弃了黑暗森林威慑, ∴不符合设定,得出她是一个畜生 艾AA 令艾AA不是畜生 那么她就不会犯下反人类罪,说出“那个时代的男性都是没有进化完全的物种”。 ∵她犯了反人类罪 ∴不符合设定,得出她是一个畜生