The cat is cold. The lion eats the cat. The rabbit chases the cat. If something is big and it chases the rabbit then it is rough. If something is kind then it visits the rabbit. If something chases the cat then it is kind.
The rabbit does not visit the lion.
@0: The cat is cold.[(triple1)] The lion eats the cat.[(triple2)] The rabbit chases the cat.[(triple3)] @1: The rabbit is kind.[(((triple3) -> rule3))] @2: The rabbit visits the rabbit.[(((((triple3) -> rule3)) -> rule2))]