從2.可以知道B為真，C為假（∵只有若真則假才會是假；若真則真、若假則真、若假則假皆為真）。
再從1.得知既然B已經為真，那A只能是假了。
最後看3.，∵A為假，那若非D則A為真，非D只能為假。故D為真。