[Allan]

Try this:

~[(A->C)^(B->C)^(B->~X)]->(A->X)]

[liberallarry]

(A->C)^(B->C)^(B->~X)]->(A->X) approximately

Roosevelt is a fresh face
Hitler is a fresh face
Hitler is X, approximately
Therefore Roosevelt is X

What's X?