1.) A > B

2.) B > C
3.) ~C.D
//:. ~A