The cat is kind. The dog visits the cat. The mouse chases the dog. If something visits the cat and it is kind then the cat eats the dog. If something eats the dog and it visits the dog then the dog is kind. If something is blue and kind then it chases the mouse. If the mouse eats the cat and the mouse chases the cat then the mouse is round. If something visits the dog then it eats the dog. If something chases the dog then it visits the dog.
The cat does not eat the mouse.
@0: The cat is kind.[(triple1)] The dog visits the cat.[(triple2)] The mouse chases the dog.[(triple3)] @1: The mouse visits the dog.[(((triple3) -> rule6))] @2: The mouse eats the dog.[(((((triple3) -> rule6)) -> rule5))] @3: The dog is kind.[(((((((triple3) -> rule6)) -> rule5) ((triple3) -> rule6)) -> rule2))] @4: The cat eats the dog.[(((triple2 ((((((triple3) -> rule6)) -> rule5) ((triple3) -> rule6)) -> rule2)) -> rule1))]