ice giant Deductions ice giant is for example Uranus ⇐ (Uranus is a ice giant), (is a is inverse of is for example)