The cow is green. The mouse is young. The tiger needs the cow. If someone chases the mouse and the mouse chases the cow then the mouse needs the tiger. If someone sees the tiger then the tiger is kind. If someone needs the cow then they need the tiger.
The tiger is not kind.
@0: The cow is green.[(triple1)] The mouse is young.[(triple2)] The tiger needs the cow.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule3))]