The cat is red. The cow is blue. The dog chases the cow. If the cow likes the dog then the dog chases the cow. If something likes the cat then it likes the dog. If the cow chases the dog then the cow likes the dog. If something eats the dog and the dog is red then the dog chases the cow. If something likes the dog and the dog is green then the dog eats the cow. If the dog chases the cow then the cow likes the cat.
The cat is red.
@0: The cat is red.[(triple1)] The cow is blue.[(triple2)] The dog chases the cow.[(triple3)] @1: The cow likes the cat.[(((triple3) -> rule6))] @2: The cow likes the dog.[(((((triple3) -> rule6)) -> rule2))]