The cow is cold. The lion sees the cow. If something needs the cow and the cow eats the lion then the cow sees the lion. If the cow is cold then the cow does not see the lion. If the lion needs the cow and the cow is rough then the cow does not see the lion. If something needs the lion and the lion needs the cow then it needs the cow. If something eats the lion and the lion is young then it is not young. If something is rough then it needs the lion.
The lion does not see the cow.
@0: The cow is cold.[(triple1)] The lion sees the cow.[(triple2)] @1: The cow does not see the lion.[(((triple1) -> rule2))]