The bear chases the squirrel. The rabbit visits the squirrel. The squirrel visits the rabbit. If something chases the squirrel then it is nice. If something chases the squirrel and it is nice then the squirrel eats the rabbit. If something eats the rabbit then the rabbit is kind.
The rabbit is kind.
@0: The bear chases the squirrel.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel visits the rabbit.[(triple3)] @1: The bear is nice.[(((triple1) -> rule1))] @2: The squirrel eats the rabbit.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The rabbit is kind.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))]