Sannhetsverdien "usant" kan ikke konsekvent tildeles denne setningen, fordi antesedenten til den betingede ville være usann, noe som, i henhold til den antatte logiske forståelsen, ville gjøre hele den betingede sann. Sannhetsverdien «sann» kan derimot allerede tildeles setningen; Det må imidlertid antas at etterskriften "Månen er laget av grønn ost" også er sant – ellers ville antesedenten til den betingede være sann, men konsekvensen ville være falsk, og hele setningen ville derfor være falsk. Så hvis denne setningen måtte tildeles en sannhetsverdi, ville det være et absurd "bevis" på at månen er laget av grønn ost.