You can not play games on a phone.
A laptop is a computer. You can play games on a computer. A phone is not a computer.
∀x (Laptop(x) → Computer(x)) ∀x (Computer(x) → CanPlayGames(x)) ∀x (Phone(x) → ¬Computer(x))