Вообще ещё пришла в голову мысль доказать это так:
Пусть заявления, что они этого не делали
Лилиан - a,
Джуди - b,
Девид - c,
Тео - d,
Маргарет - e.
Папа Джуди богат - f,
Маргарет знает кто - g,
Девид не знаком с Маргарет - h,
Каждая переменная может быть равна 1, если правда или 0, если ложь. Тогда по их высказываниям.
Лилиан a+a+(1-d)=2
Джуди b+f+g=2
Девид c+h+(1-d)=2
Тео d+(1-e)+d=2
Маргарет e+(1-b)+(1-h)=2
a+b+c+d+e=4
Из первого a=1, d=1
Из четвёртого e=1
Из третьего с=1, h=1
Значит из пятого b=0
Виновата Джуди