~L(x,y,z)|~B(z)|M(x,y)
~L(x,y,z)|L(y,x,z)
~M(x,y)|~M(y,z)|M(x,z)
L(A,B,D)
L(B,C,E)
L(A,C,F)
B(D)
B(E)

~M(A,C)

