Solve with Indirect proof logic
1. A ) C
2. ~[~D•C]
3. E v A
4. ~ D /:. E