The cat chases the dog. The cat is not kind. The dog eats the cat. If the cat chases the dog then the dog is round. If the dog does not visit the cat then the dog eats the cat. If something eats the dog and the dog visits the cat then it does not chase the cat. If something chases the cat then the cat visits the dog. If the dog visits the cat then the cat chases the dog. All round things are young.
The dog is not young.
@0: The cat chases the dog.[(triple1)] The cat is not kind.[(triple2)] The dog eats the cat.[(triple3)] @1: The dog is round.[(((triple1) -> rule1))] @2: The dog is young.[(((((triple1) -> rule1)) -> rule6))]