Задачка на логику Опции

[Iron Bug]

Попалась тут на просторах интернета забавная задачка на логику:
http://www.johndcook.com/blog/2015/07/06/m...comment-page-1/

[lanz]

Надеваю свой плащ и волшебную шляпу

Раскрывающийся текст

a(true,true,true,true,true,true).
a(false,_,_,_,_,_).
b(_,false,true,_,_,_).
b(_,false,_,true,_,_).
b(_,false,_,_,true,_).
b(_,false,_,_,_,true).
b(_,true,false,false,false,false).
c(true,true,true,_,_,_).
c(_,_,false,_,_,_).
d(true,_,_,true,_,_).
d(_,true,_,true,_,_).
d(_,_,true,true,_,_).
d(false,false,false,false,_,_).
e(true,_,_,_,false,_).
e(_,true,_,_,false,_).
e(_,_,true,_,false,_).
e(_,_,_,true,false,_).
e(false,false,false,false,true,_).
f(true,_,_,_,_,false).
f(_,true,_,_,_,false).
f(_,_,true,_,_,false).
f(_,_,_,true,_,false).
f(_,_,_,_,true,false).
f(false,false,false,false,false,true).

x(A,B,C,D,E,F):-a(A,B,C,D,E,F),b(A,B,C,D,E,F),c(A,B,C,D,E,F),d(A,B,C,D,E,F),e(A,B,C,D,E,F),f(A,B,C,D,E,F).

http://swish.swi-prolog.org/p/multiple%20choice.pl
?- x(A,B,C,D,E,F).
A = B, B = C, C = D, D = F, F = false,
E = true