On: When People Ate People, a Strange Disease Emerged

[irisli]

computerphage wasn't using deduction but rather contraposition. (A -> B) => (!B -> !A). The absurdity of (!B -> !A) shows that (A -> B) is not true for all cases.