The cat is blue. The cat likes the rabbit. The cat visits the cow. The cow chases the cat. The cow likes the rabbit. The lion is round. The lion likes the cow. The lion visits the cat. The lion visits the cow. The rabbit chases the cow. The rabbit likes the cat. The rabbit visits the lion. If someone visits the cat then they are round. If someone likes the cow then they visit the cat. If someone visits the cat then they chase the rabbit. If someone is round and kind then they are cold. If someone is round then they visit the cat. If someone is cold then they chase the cat. If someone chases the cat then the cat visits the cow. If someone likes the rabbit then they are cold.
The cat visits the rabbit.
@0: The cat is blue.[(triple1)] The cat likes the rabbit.[(triple2)] The cat visits the cow.[(triple3 OR ((triple4) -> rule7) OR ((((((triple2) -> rule8)) -> rule6)) -> rule7) OR ((((((triple5) -> rule8)) -> rule6)) -> rule7))] The cow chases the cat.[(triple4 OR ((((triple5) -> rule8)) -> rule6))] The cow likes the rabbit.[(triple5)] The lion is round.[(triple6 OR ((triple8) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] The lion likes the cow.[(triple7)] The lion visits the cat.[(triple8 OR ((triple6) -> rule5) OR ((triple7) -> rule2))] The lion visits the cow.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cat is cold.[(((triple2) -> rule8))] The cow is cold.[(((triple5) -> rule8))] The lion chases the rabbit.[(((triple8) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] @2: The cat chases the cat.[(((((triple2) -> rule8)) -> rule6))]