James is a student in the class; he is either good at chemistry and failed the class, or bad at chemistry and passed the class.
StudentInTheClass(james) ∧ (¬(GoodAt(james, chemistry) ⊕ Failed(james, theClass)))