1~L(x,y,z)|~B(z)|M(x,y)
2~L(x,y,z)|L(y,x,z)
3~M(x,y)|~M(y,z)|M(x,z)
4L(A,B,D)
5L(B,C,E)
6L(A,C,F)
7B(D)
8~B(E)|~B(F)
9B(E)|B(F)
10~M(A,C)
11(10,3)~M(A,y)|~M(y,C)
12(11,1)~M(y,C)|~L(A,y,z)|~B(z)
13(12,4)~M(B,C)|~B(D)
14(13,7)~M(B,C)
15(14,1)~L(B,C,z)|~B(z)
16(15,5)~B(E)
17(16,9)B(F)
18(1,6)~B(F)|M(A,C)
19(18,10)~B(F)
20(17,19)_

