The cat is kind. The lion is blue. The mouse is not kind. The tiger likes the lion. If something is young and round then it likes the lion. If something likes the mouse and the mouse likes the tiger then the mouse does not chase the tiger. If something is kind then it is young.
The cat does not like the lion.
@0: The cat is kind.[(triple1)] The lion is blue.[(triple2)] The mouse is not kind.[(triple3)] The tiger likes the lion.[(triple4)] @1: The cat is young.[(((triple1) -> rule3))]