The dog chases the rabbit. The dog is red. The dog sees the lion. The lion chases the rabbit. The lion sees the dog. The lion sees the rabbit. The lion does not visit the dog. The rabbit chases the dog. The rabbit chases the lion. The rabbit is nice. The rabbit is red. The tiger chases the lion. The tiger is big. The tiger visits the dog. If someone visits the lion then they are not round. If someone visits the tiger then they are nice. If someone sees the tiger and the tiger does not visit the rabbit then they are not nice. If someone visits the dog then the dog is not cold. If someone is cold and red then they do not chase the tiger. If someone is cold then they visit the lion. If someone is nice then they are cold. If someone sees the lion then the lion visits the tiger. If someone chases the rabbit then they chase the dog.
The tiger does not see the tiger.
@0: The dog chases the rabbit.[(triple1)] The dog is red.[(triple2)] The dog sees the lion.[(triple3)] The lion chases the rabbit.[(triple4)] The lion does not visit the dog.[(triple7)] The lion sees the dog.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit chases the dog.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is big.[(triple13)] The tiger visits the dog.[(triple14)] @1: The dog chases the dog.[(((triple1) -> rule9))] The dog is not cold.[(((triple14) -> rule4))] The lion chases the dog.[(((triple4) -> rule9))] The lion visits the tiger.[(((triple3) -> rule8))] The rabbit is cold.[(((triple10) -> rule7))] @2: The lion is nice.[(((((triple3) -> rule8)) -> rule2))] The rabbit does not chase the tiger.[(((((triple10) -> rule7) triple11) -> rule5))] The rabbit visits the lion.[(((((triple10) -> rule7)) -> rule6))] @3: The lion is cold.[(((((((triple3) -> rule8)) -> rule2)) -> rule7))] The rabbit is not round.[(((((((triple10) -> rule7)) -> rule6)) -> rule1))] @4: The lion visits the lion.[(((((((((triple3) -> rule8)) -> rule2)) -> rule7)) -> rule6))] @5: The lion is not round.[(((((((((((triple3) -> rule8)) -> rule2)) -> rule7)) -> rule6)) -> rule1))]