(equal_c *TOP* Thing)
(equal_c *TOP* NamedIndividual)
(implies_c House ub1bL116C12)
(implies_c House ub1bL112C12)
(implies_c House ub1bL82C24)
(implies_c Person ub1bL64C12)
(disjoint_c Color Drink House Person Pet Smoke)
(equal_c Pet ub1bL18C26)
(equal_c House ub1bL26C28)
(equal_c Person ub1bL30C29)
(equal_c Color ub1bL10C28)
(equal_c Drink ub1bL14C28)
(equal_c Smoke ub1bL22C28)
(equal_c ub1bL26C28 (one-of House5 House4 House2 House3 House1))
(equal_c ub1bL14C28 (one-of OrangeJuice Water Tea Milk Coffee))
(equal_c ub1bL10C28 (one-of Blue Yellow Ivory Green Red))
(equal_c ub1bL30C29 (one-of Norwegian Spaniard Ukrainian Japanese Englishman))
(equal_c ub1bL22C28 (one-of Kools Chesterfield LuckyStrike OldGold Parliament))
(equal_c ub1bL18C26 (one-of Horse Zebra Fox Dog Snails))
(equal_c ub1bL64C12 (and ub1bL66C18 ub1bL69C18 ub1bL72C18 ub1bL75C18))
(different House2 House1 House4 House3 House5)
(different Dog Zebra Fox Snails Horse)
(different Green Ivory Red Yellow Blue)
(different Spaniard Norwegian Englishman Ukrainian Japanese)
(different Tea OrangeJuice Water Coffee Milk)
(different Dog Zebra Fox Snails Horse)
(different Spaniard Norwegian Englishman Ukrainian Japanese)
(different Green Ivory Red Yellow Blue)
(different Tea OrangeJuice Water Coffee Milk)
(different House2 House1 House4 House3 House5)
(equal_c ub1bL112C12 (atmost 2 isNextTo House))
(equal_c ub1bL116C12 (some hasColor Thing))
(equal_c ub1bL75C18 (some smokes Thing))
(equal_c ub1bL82C24 (some hasColor Thing))
(equal_c ub1bL66C18 (some drinks Thing))
(equal_c ub1bL69C18 (some hasPet Thing))
(equal_c ub1bL72C18 (some livesIn Thing))
(functional smokes)
(functional hasColor)
(functional drinks)
(functional isRightTo)
(functional livesIn)
(functional hasPet)
(functional (inv livesIn))
(functional (inv hasPet))
(functional (inv smokes))
(functional (inv hasColor))
(functional (inv drinks))
(functional (inv isRightTo))
(symmetric isNextTo)
(irreflexive isNextTo)
(domain hasPet Person)
(domain livesIn Person)
(domain hasColor House)
(domain smokes Person)
(domain drinks Person)
(domain isNextTo House)
(range smokes Smoke)
(range isNextTo House)
(range drinks Drink)
(range livesIn House)
(range hasPet Pet)
(range hasColor Color)
(implies_r isLeftTo isNextTo)
(implies_r isRightTo isNextTo)
(equal_r isRightTo (inv isLeftTo))
(related Spaniard hasPet Dog)
(related ub1bL156C1 drinks Milk)
(related ub1bL169C1 livesIn ub1bL170C13)
(related ub1bL145C15 hasColor Ivory)
(related ub1bL144C1 hasColor Green)
(related ub1bL137C1 drinks Coffee)
(related ub1bL165C1 livesIn f6e9e00cc65594283ad381eeefefe78feb66)
(related House1 isLeftTo House2)
(related Norwegian livesIn House1)
(related ub1bL137C1 livesIn ub1bL138C13)
(related ub1bL175C1 drinks OrangeJuice)
(related ub1bL165C1 hasPet Fox)
(related Englishman livesIn ub1bL131C22)
(related ub1bL170C13 isNextTo f6e9e00cc65594283ad381eeefefe78feb67)
(related ub1bL163C1 livesIn ub1bL164C13)
(related House3 isLeftTo House4)
(related ub1bL164C13 isNextTo f6e9e00cc65594283ad381eeefefe78feb66)
(related ub1bL152C1 smokes Kools)
(related ub1bL175C1 smokes LuckyStrike)
(related House2 isLeftTo House3)
(related ub1bL156C1 livesIn House3)
(related Ukrainian drinks Tea)
(related ub1bL171C1 livesIn f6e9e00cc65594283ad381eeefefe78feb67)
(related ub1bL169C1 smokes Kools)
(related ub1bL182C21 isNextTo ub1bL182C33)
(related ub1bL163C1 smokes Chesterfield)
(related ub1bL153C13 hasColor Yellow)
(related ub1bL182C33 hasColor Blue)
(related ub1bL131C22 hasColor Red)
(related ub1bL171C1 hasPet Horse)
(related ub1bL152C1 livesIn ub1bL153C13)
(related ub1bL138C13 hasColor Green)
(related House4 isLeftTo House5)
(related ub1bL144C1 isRightTo ub1bL145C15)
(related Norwegian livesIn ub1bL182C21)
(related ub1bL148C1 smokes OldGold)
(related Japanese smokes Parliament)
(related ub1bL148C1 hasPet Snails)
(instance House5 (all isNextTo(not House1)))
