->(&(A,B),~(~(E))).
->(E,&(C,D)).
->(A,F).
->(F,A).
->(\/(E,~(F)),D).
