The cat eats the dog. The cat visits the dog. The dog likes the cat. If someone eats the cat then the cat likes the dog. If someone eats the dog then the dog eats the cat. If someone is young then they eat the cat. If someone likes the dog and they eat the dog then the dog eats the cat. If someone eats the dog and they like the cat then the dog eats the cat. If someone is nice and rough then they like the cat. If someone likes the dog and the dog is young then they visit the dog. If someone eats the dog then the dog likes the cat.
The cat does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat visits the dog.[(triple2)] The dog likes the cat.[(triple3 OR ((triple1) -> rule8))] @1: The dog eats the cat.[(((triple1) -> rule2))] @2: The cat likes the dog.[(((((triple1) -> rule2)) -> rule1))]