The cow is round. The cow likes the squirrel. The dog likes the lion. The dog visits the lion. The lion chases the dog. The lion is cold. The lion is kind. The lion visits the dog. The squirrel chases the dog. The squirrel likes the cow. If someone is kind then they chase the squirrel. If the dog visits the lion then the lion is kind. If someone visits the squirrel then they chase the cow.
The lion is cold.
@0: The cow is round.[(triple1)] The cow likes the squirrel.[(triple2)] The dog likes the lion.[(triple3)] The dog visits the lion.[(triple4)] The lion chases the dog.[(triple5)] The lion is cold.[(triple6)] The lion is kind.[(triple7 OR ((triple4) -> rule2))] The lion visits the dog.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel likes the cow.[(triple10)] @1: The lion chases the squirrel.[(((triple7) -> rule1) OR ((((triple4) -> rule2)) -> rule1))]