Uranus Deductions Uranus is part of inner and outer Solar System ⇐ (Uranus is part of outer Solar System), (outer Solar System is part of inner and outer Solar System), (is part of is a transitive relation) ice giant is for example Uranus ⇐ (Uranus is a ice giant), (is a is inverse of is for example)