The cat needs the lion. The dog sees the lion. The lion is kind. If someone eats the dog then they are rough. If someone needs the lion and the lion eats the cat then they are kind. If someone sees the lion then they see the dog. If someone sees the dog then they see the cat. If the lion is cold then the lion needs the dog. If someone is green and they need the cat then they need the dog.
The cat does not see the lion.
@0: The cat needs the lion.[(triple1)] The dog sees the lion.[(triple2)] The lion is kind.[(triple3)] @1: The dog sees the dog.[(((triple2) -> rule3))] @2: The dog sees the cat.[(((((triple2) -> rule3)) -> rule4))]