The cat is not round. The cow chases the cat. The dog eats the cow. The lion likes the dog. If something likes the dog then the dog chases the lion. If something is red then it chases the lion. If something likes the cat then it does not eat the cow. If something chases the cow then the cow is round. If something eats the cat and it chases the cat then it is round. If something chases the lion then it chases the cow.
The lion does not like the dog.
@0: The cat is not round.[(triple1)] The cow chases the cat.[(triple2)] The dog eats the cow.[(triple3)] The lion likes the dog.[(triple4)] @1: The dog chases the lion.[(((triple4) -> rule1))] @2: The dog chases the cow.[(((((triple4) -> rule1)) -> rule6))] @3: The cow is round.[(((((((triple4) -> rule1)) -> rule6)) -> rule4))]