If James is good at Chemistry or failed the class, then James is either good at planning or good at math.
(GoodAt(james, chemistry) ∨ Failed(james, theClass)) → (GoodAt(james, planning) ⊕ GoodAt(james, math))