The lion chases the rabbit. The rabbit chases the tiger. The tiger likes the lion. If something likes the rabbit and it is blue then it likes the tiger. If something chases the tiger then it is round.
The rabbit does not like the tiger.
@0: The lion chases the rabbit.[(triple1)] The rabbit chases the tiger.[(triple2)] The tiger likes the lion.[(triple3)] @1: The rabbit is round.[(((triple2) -> rule2))]