The cat likes the mouse. The cow likes the cat. The lion does not like the mouse. The mouse is blue. If something likes the cat then it is not kind. If the cow is red and the cow is kind then the cow likes the lion. If something likes the lion then it does not see the cow.
The cow does not like the lion.
@0: The cat likes the mouse.[(triple1)] The cow likes the cat.[(triple2)] The lion does not like the mouse.[(triple3)] The mouse is blue.[(triple4)] @1: The cow is not kind.[(((triple2) -> rule1))]