The cat is young. The dog visits the cat. If the cat is round then the cat does not chase the dog. If something chases the cat then it is young. If something sees the cat and the cat sees the dog then the cat is not rough. If the dog visits the cat then the dog chases the cat. If something sees the dog and the dog visits the cat then the cat is young. If something is young and it does not chase the dog then the dog is not round.
The dog does not chase the cat.
@0: The cat is young.[(triple1)] The dog visits the cat.[(triple2)] @1: The dog chases the cat.[(((triple2) -> rule4))] @2: The dog is young.[(((((triple2) -> rule4)) -> rule2))]