The cat chases the dog. The cat is kind. The dog chases the cat. If the cat is big then the cat is not round. If something sees the dog then it is nice. If something is kind then it visits the cat. If the dog sees the cat and the cat does not visit the dog then the dog chases the cat. If something sees the cat and it chases the dog then the cat is young. If the cat does not visit the dog then the cat is kind.
The cat is not young.
@0: The cat chases the dog.[(triple1)] The cat is kind.[(triple2)] The dog chases the cat.[(triple3)] @1: The cat visits the cat.[(((triple2) -> rule3))]