The lion is kind. The lion likes the squirrel. The squirrel chases the lion. If something visits the lion then it likes the squirrel. All kind things are round.
The lion is not round.
@0: The lion is kind.[(triple1)] The lion likes the squirrel.[(triple2)] The squirrel chases the lion.[(triple3)] @1: The lion is round.[(((triple1) -> rule2))]