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