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 mouse does not eat the bear.
@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))]