Aussage x = Schatz ist in Truhe x
>Ein Hinweis ist aber nur wahr. Die anderen Hinweise sind gelogen →
[ ( a ∧ c ∧ d ∧ a ) Truhe A: Der Schatz ist hier.
∨ ( c ∧ a ∧ d ∧ a ) Der Schatz ist in Truhe C
∨ ( d ∧ a ∧ c ∧ a ) Truhe D ist leer.
∨ ( a ∧ d ∧ c ∧ a ) ] Was auf Truhe A steht ist gelogen.
∧ [ ( a ∧ b ∧ c ∧ d )
∨ ( a ∧ b ∧ c ∧ d )
∨ ( a ∧ b ∧ c ∧ d )
∨ ( a ∧ b ∧ c ∧ d ) ]
⇒ d
Gruß Wolfgang