Einmal angenommen, es gibt folgende Aussagen, es geht nicht um den Inhalt, sondern um die reine Logik.
Aussage: Hans ist glücklich, wenn ...
1) Hans besitzt mehr als 100.000 Euro
2) Hans besitzt eine Villa
Jetzt gibt es die Information, dass Hans mehr als 100.000 Euro besitzt. Was gehen wir mit der Frage um, ob Hans glücklich ist?
Ich glaube, man kann festhalten: Es ist nicht entscheidbar.
Was ich mich jetzt konkret frage: Gibt es dennoch eine Aussage, die wir ableiten können. Falls nein, würden wir die Aussage ja wie eine Aussage ohne Bezug behandeln, was ja auch nicht sein kann.
Wie würde die Aussage aussehen, die wir als Zwischenergebnis ableiten können.
Wir können nicht sagen "Die Aussage schließt nicht aus, dass Hand glücklich ist", denn das würde auch für Aussagen ohne Bezug gelten.