t1(L):-szereguj([para(a,[]), para(b,[c]), para(c,[])], L). % L=[a,b,c] n; L=[b,a,c] n, L=[b,c,a] n; No t2(L):-szereguj([para(a,[b]), para(b,[c]), para(c,[])], L). % L=[a,b,c] n; No t3(L):-szereguj([para(a,[b]), para(b,[c]), para(c,[b])], L). % No t4(L):-szereguj([para(a,[c]), para(b,[c]), para(c,[d,e]), para(d,[]), para(e,[])], L). % L=[a,b,c,d,e] n; L=[a,b,c,e,d] n; L=[b,a,c,d,e] n; L=[b,a,c,e,d] n; No t5(L):-szereguj([para(a,[d,b]), para(b,[c]), para(c,[d]), para(d,[])], L). % L=[a,b,c,d] n; No