∀x (VideoGame(x) ∧ ReleasedBy(x, nintendo) → ¬Support(x, pS4))
∀x (VideoGame(x) ∧ In(x, pokemonSeries) → ReleasedBy(x, nintendo))
∀x (VideoGame(x) ∧ In(x, fIFASeries) → Support(x, pS4))
∀x (VideoGame(x) ∧ Simulate(x, onlineSoccer) ∧ Use(x, licensedPlayer) → In(x, fIFASeries))
VideoGame(beLionel) ∧ In(beLionel, pokemonSeries) ∨ (Simulate(beLionel, onlineSoccer) ∧ Use(beLionel, licensedPlayer))
VideoGame(beLionel) ∧  ¬(FIFASeries(beLionel) ⊕ Support(beLionel, pS4))