A

B e C.

B

C e D.

C

B e D.

D

A e D.

E

A e B.