The cat is round. The lion chases the cat. The mouse visits the rabbit. The rabbit visits the cat. If something visits the rabbit then the rabbit chases the lion. If something visits the lion and it is not green then the lion is not big. If the rabbit chases the cat and the rabbit does not chase the lion then the rabbit likes the mouse.
The rabbit does not chase the lion.
@0: The cat is round.[(triple1)] The lion chases the cat.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit visits the cat.[(triple4)] @1: The rabbit chases the lion.[(((triple3) -> rule1))]