(note TQG28)
(category general)

(instance Planet28-1 Class)
(subclass AstronomicalBody Object)
(subclass Planet28-1 AstronomicalBody)

(instance Rocky Attribute)
(instance Icy Attribute)
(instance Watery Attribute)
(instance Gaseous Attribute)

(contraryAttribute Rocky Icy Watery Gaseous)

(instance Object28-1 Planet28-1)
(instance Object28-1 Object)
(instance Object28-1 Entity)

(attribute Object28-1 Watery)

(=>
  (contraryAttribute ?A ?B ?C ?D)
  (contraryAttribute ?C ?D))

(=>
  (and
    (contraryAttribute ?ATTR1 ?ATTR2)
    (attribute ?O ?ATTR1))
  (not
    (attribute ?O ?ATTR2)))

(query
  (not
    (attribute Object28-1 Gaseous)))

(answer yes)