Question 682997
There's a problem.


If C -> A and C is true, then we know A is true. But we're given ~A is true as well, which is a contradiction.