The cow eats the dog. The dog is blue. The rabbit visits the dog. All red things are nice. If something eats the rabbit and it visits the cow then the rabbit eats the dog. If something chases the cow and the cow visits the dog then the dog is kind. If something eats the rabbit then it is red. If something is green and it eats the cow then the cow chases the dog. If something is blue then it eats the rabbit.
The cow chases the cow.
@0: The cow eats the dog.[(triple1)] The dog is blue.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The dog eats the rabbit.[(((triple2) -> rule6))] @2: The dog is red.[(((((triple2) -> rule6)) -> rule4))] @3: The dog is nice.[(((((((triple2) -> rule6)) -> rule4)) -> rule1))]