solve(Lista,[],Acc1,Acc1,Lista):-!.
solve([],_,_,_,_):-fail.
solve([H|T],Lista_list_literalow,Acc,Lista_war1,Reszta):-
  member(X,[t,f]),
  usun_z_listy(X,H,Lista_list_literalow,[],Lista_pozostalych),
  Acc1=[(H,X)|Acc],
  solve(T,Lista_pozostalych,Acc1,Lista_war1,Reszta).