The cat likes the dog. The dog eats the cat. If someone eats the cat then they are nice. If someone eats the cat and they are rough then they visit the dog. If someone likes the cat and the cat likes the dog then they visit the cat. If someone visits the dog and the dog is rough then the dog is kind. All nice people are rough. If someone is rough and cold then they like the cat.
The cat does not visit the cat.
@0: The cat likes the dog.[(triple1)] The dog eats the cat.[(triple2)] @1: The dog is nice.[(((triple2) -> rule1))] @2: The dog is rough.[(((((triple2) -> rule1)) -> rule5))] @3: The dog visits the dog.[(((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule2))] @4: The dog is kind.[(((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule2) ((((triple2) -> rule1)) -> rule5)) -> rule4))]