... you now know -B, -A. Because the variable C is negated in ... learn, per the contrapositive, that B and A are also negated; however, you ... OUT is A--> -B --> C --> -D --> E and D is ... to find -C, B, -A. So, you'd have IN (D,B) and OUT (C, A); you ...