Тупая логическая задача-шутка.

[Аркадий Югов]

1. Если в огороде бузина, то в Киеве дядька.
2.Или бузина в огороде, или птицы клюют зерна.
3.Если птицы клюют зерна, то Волга впадает в Каспийское море.
4. Волга не впадает в Каспийское море.
Так проживает ли дядька в Киеве?

[General]

Формулировки:

if A then B
A xor С = true
if С then D
D=false

Теперь обратный ход
C=false
A=true
B=true

Да, проживает

[BIVES]

Да