The cat likes the dog. The dog is young. If someone likes the dog then the dog likes the cat. If someone visits the dog then the dog visits the cat. If someone likes the cat then the cat does not visit the dog. If someone is young then they do not chase the cat. If someone chases the dog then the dog is green. If someone is young and they like the cat then the cat is young.
The cat is young.
@0: The cat likes the dog.[(triple1)] The dog is young.[(triple2)] @1: The dog does not chase the cat.[(((triple2) -> rule4))] The dog likes the cat.[(((triple1) -> rule1))] @2: The cat does not visit the dog.[(((((triple1) -> rule1)) -> rule3))] The cat is young.[(((triple2 ((triple1) -> rule1)) -> rule6))] @3: The cat does not chase the cat.[(((((triple2 ((triple1) -> rule1)) -> rule6)) -> rule4))]