chesterfields
type: NamedIndividual
type: Thing
type: Restriction
  on property:
    inverse of: smokes
  some values from: Restriction
    on property: livesIn
    some values from: Class
      union of: Restriction
        on property: rightTo
        some values from: Restriction
      union of: Restriction
        some values from: Restriction
comment: 11.The man who smokes Chesterfields lives in the house next to the man with the fox.

coffee
type: NamedIndividual
type: Thing
type: Restriction
  on property:
    inverse of: drinks
  some values from: Restriction
    on property: livesIn
    some values from: Restriction
      on property: hasColor
      has value: green
comment: 4. Coffee is drunk in the green house.

english
type: NamedIndividual
type: Thing
type: Restriction
  on property: livesIn
  some values from: Restriction
    on property: hasColor
    has value: red
comment: 2. The Englishman lives in the red house.

green
type: NamedIndividual
type: Restriction
  on property:
    inverse of: hasColor
  some values from: Restriction
    on property: rightTo
    some values from: Restriction
      on property: hasColor
      has value: ivory
comment: 6. The green house is immediately to the right of the ivory house.

japanese
type: NamedIndividual
smokes: parliaments
comment: 14.The Japanese smokes Parliaments.

kools
type: NamedIndividual
type: Thing
type: Restriction
  on property:
    inverse of: smokes
  some values from: Restriction
    on property: livesIn
    some values from: Class
      union of: Restriction
        on property: rightTo
        some values from: Restriction
      union of: Restriction
        some values from: Restriction
type: Restriction
  on property:
    inverse of: smokes
  some values from: Restriction
    on property: livesIn
    some values from: Restriction
      on property: hasColor
      has value: yellow
comment: 12.Kools are smoked in a house next to the house where the horse is kept.
comment: 8. Kools are smoked in the yellow house.

lucky strike
type: NamedIndividual
type: Restriction
  on property:
    inverse of: smokes
  some values from: Restriction
    on property: drinks
    has value: oranje juice
comment: 13.The Lucky Strike smoker drinks orange juice.

milk
type: NamedIndividual
type: Thing
type: Restriction
  on property:
    inverse of: drinks
  some values from: Restriction
    on property: livesIn
    has value: house 3
comment: 9.Milk is drunk in the middle house.

norwegian
type: NamedIndividual
type: Restriction
  on property: livesIn
  some values from: Class
    union of: Restriction
      on property: rightTo
      some values from: Restriction
        on property: hasColor
        has value: blue
    union of: Restriction
      on property:
        inverse of: rightTo
      some values from: Restriction
        on property: hasColor
        has value: blue
lives in: house 1
comment: 10.The Norwegian lives in the first house.
comment: 15.The Norwegian lives next to the blue house.

old gold
type: NamedIndividual
type: Thing
type: Restriction
  on property:
    inverse of: smokes
  some values from: Restriction
    on property: owns
    has value: snails
comment: 7.The Old Gold smoker owns snails

spaniard
type: NamedIndividual
owns: dog
comment: 3. The Spaniard owns the dog.(object property)