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