Eine “Wetterregel”
„Kräht der Hahn am Mist, ändert sich das Wetter oder es bleibt
wie es ist.
x[1] … der Hahn kräht am Mist
x[2] … das Wetter ändert sich
c ist eine Funktion der Liste der Wahrheitswerte WT, diese entsteht aus der Produktmenge WxW. Mit listify() verwendelt man eine Menge in eine Liste. c ist eine Aussagenverknüpfung, die offenbar immer wahr ist. Man nennt so etwas Tautologie.