CEVAP: Bu elma kırmızı1dir ve bu elma yeşil1dir. Bu önerme mantıkça olanaklıdır, çünkü D01 mantıkça olanaklı dünyasında doğrudur. Nitekim ve mantıksal değişmezinin doğruluk çizelgesi gereği Önümdeki elma kırmızı1dir ve önümdeki elma yeşil1dir önermesi doğrudur ancak ve ancak Önümdeki elma kırmızı1dir doğru ve Önümdeki elma yeşil1dir doğru ise. Öte yandan bu iki önermenin doğru-kılıcıları olan olgular, yani bu elmanın kırmızı1olma özelliğini taşıması ile bu elmanın yeşil1-olma özelliğini taşıması, D01 dünyasının olgu kümesi olan O1’in öğeleri olduğundan, her iki önerme dolayısıyla da Ö1 önermesi doğrudur.