The cat is kind. The dog is kind. The dog sees the cat. If something is cold and it sees the dog then it is green. If something is cold and it chases the cat then it eats the dog. If the dog sees the cat and the cat chases the dog then the dog eats the cat. If something eats the cat then it is blue. If the cat is kind then the cat chases the dog. If something eats the cat and it is red then it sees the dog.
The cat does not chase the dog.
@0: The cat is kind.[(triple1)] The dog is kind.[(triple2)] The dog sees the cat.[(triple3)] @1: The cat chases the dog.[(((triple1) -> rule5))] @2: The dog eats the cat.[(((triple3 ((triple1) -> rule5)) -> rule3))] @3: The dog is blue.[(((((triple3 ((triple1) -> rule5)) -> rule3)) -> rule4))]