The bear is blue. The cow is kind. The cow needs the bear. If something is blue then it chases the bear. If something is kind and it chases the bear then it chases the cow. If something is kind and cold then it needs the cow.
The cow is kind.
@0: The bear is blue.[(triple1)] The cow is kind.[(triple2)] The cow needs the bear.[(triple3)] @1: The bear chases the bear.[(((triple1) -> rule1))]