Using no libraries!

    a1([f,f,_,_,_,_]).
    a1([f,t,f,_,_,_]).
    a1([f,t,t,f,_,_]).
    a1([f,t,t,t,f,_]).
    a1([f,t,t,t,t,f]).
    a1([t,t,t,t,t,t]).

    a2([_,f,t,_,_,_]).
    a2([_,f,f,t,_,_]).
    a2([_,f,f,f,t,_]).
    a2([_,f,f,f,f,t]).
    a2([_,t,f,f,f,f]).

    a3([f,_,f,_,_,_]).
    a3([t,f,f,_,_,_]).
    a3([t,t,t,_,_,_]).

    a4([t,_,_,t,_,_]).
    a4([f,t,_,t,_,_]).
    a4([f,f,t,t,_,_]).
    a4([f,f,f,f,_,_]).

    a5([t,_,_,_,f,_]).
    a5([f,t,_,_,f,_]).
    a5([f,f,t,_,f,_]).
    a5([f,f,f,t,f,_]).
    a5([f,f,f,f,t,_]).

    a6([t,_,_,_,_,f]).
    a6([f,t,_,_,_,f]).
    a6([f,f,t,_,_,f]).
    a6([f,f,f,t,_,f]).
    a6([f,f,f,f,t,f]).
    a6([f,f,f,f,f,t]).

    solution(X) :- a1(X), a2(X), a3(X), a4(X), a5(X), a6(X).