The dog is blue. The rabbit likes the squirrel. The squirrel likes the tiger. The tiger likes the squirrel. If something likes the squirrel then the squirrel chases the rabbit.
The squirrel chases the rabbit.
@0: The dog is blue.[(triple1)] The rabbit likes the squirrel.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger likes the squirrel.[(triple4)] @1: The squirrel chases the rabbit.[(((triple2) -> rule1) OR ((triple4) -> rule1))]