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 lion does not eat the cat.
@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))]