The bear is round. The cow is round. The lion is kind. The mouse eats the bear. If something is kind then it chases the bear.
The lion is kind.
@0: The bear is round.[(triple1)] The cow is round.[(triple2)] The lion is kind.[(triple3)] The mouse eats the bear.[(triple4)] @1: The lion chases the bear.[(((triple3) -> rule1))]