The cat is rough. The dog visits the cat. The rabbit likes the cat. If someone visits the cat then they like the dog. If someone likes the dog then they need the dog.
The cat does not like the cat.
@0: The cat is rough.[(triple1)] The dog visits the cat.[(triple2)] The rabbit likes the cat.[(triple3)] @1: The dog likes the dog.[(((triple2) -> rule1))] @2: The dog needs the dog.[(((((triple2) -> rule1)) -> rule2))]