t1(X):-wart(["{","]"],W). % No
t2(X):-wart(["[", "{", "}", "}"], X). % No
t3(X):-wart(["{", "}", "[", "]"], X). % No
t4(X):-wart(["{","{","}","[","]","}"], X). % X = 0
t5(X):-wart(["{", "{", "}", "[", "[", "]", "[", "]","[", "]","]" ,"}"], X). % X = 0
t6(X):-wart(["[", "[", "]", "{", "{", "}", "{", "}","{", "}","}" ,"]"], X). % X = 1