The bald eagle is kind. The rabbit is red. The squirrel chases the bald eagle. The tiger eats the rabbit. If something visits the rabbit then the rabbit is kind. If something is kind then it visits the rabbit.
The tiger does not eat the squirrel.
@0: The bald eagle is kind.[(triple1)] The rabbit is red.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The tiger eats the rabbit.[(triple4)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule2))] @2: The rabbit is kind.[(((((triple1) -> rule2)) -> rule1))] @3: The rabbit visits the rabbit.[(((((((triple1) -> rule2)) -> rule1)) -> rule2))]