∀x (Phone(x) → Thing(x))
∀x (Cellphone(x) → Phone(x))
∀x (Iphone(x) → Cellphone(x))
∀x (Employee(x) → WageEarner(x))
∀x (WageEarner(x) → Human(x))
Employee(jack) ⊕ WageEarner(jack) 
Human(jack) ⊕ Phone(jack)
Thing(jack) ∧ Iphone(jack)