The cat does not see the tiger. The tiger sees the cat. Green things are kind. If something sees the cat then it does not like the cat. If the tiger does not like the cat then the tiger needs the cat. If something needs the cat then it likes the tiger. If something likes the tiger and it is not green then the tiger is kind. If something likes the tiger and the tiger likes the cat then the cat is not kind.
The tiger likes the cat.
@0: The cat does not see the tiger.[(triple1)] The tiger sees the cat.[(triple2)] @1: The tiger does not like the cat.[(((triple2) -> rule2))] @2: The tiger needs the cat.[(((((triple2) -> rule2)) -> rule3))] @3: The tiger likes the tiger.[(((((((triple2) -> rule2)) -> rule3)) -> rule4))]