The bear needs the cat. The cat needs the bear. The cow is kind. The mouse chases the bear. If something is kind then it does not chase the cow. If the cat needs the mouse and the mouse needs the cat then the mouse is green. If something chases the cat and it is not kind then the cat needs the bear.
The cow is kind.
@0: The bear needs the cat.[(triple1)] The cat needs the bear.[(triple2)] The cow is kind.[(triple3)] The mouse chases the bear.[(triple4)] @1: The cow does not chase the cow.[(((triple3) -> rule1))]