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)
8B(E)
9~M(A,C)
10(9,3)~M(A,y)|~M(y,C)
11(10,1)~M(y,C)|~L(A,y,z)|~B(z)
12(11,4)~M(B,C)|~B(D)
13(12,7)~M(B,C)
14(13,1)~L(B,C,z)|~B(z)
15(14,5)~B(E)
16(15,8)_

