The cat does not chase the tiger. The cat needs the tiger. The tiger sees the cat. If someone needs the tiger and they are not kind then the tiger needs the cat. If the tiger chases the cat then the tiger is green. If someone is kind and they see the cat then the cat is cold. If someone sees the cat then they are cold. If someone needs the tiger and the tiger needs the cat then the tiger chases the cat. If someone sees the cat then they need the cat.
The cat needs the cat.
@0: The cat does not chase the tiger.[(triple1)] The cat needs the tiger.[(triple2)] The tiger sees the cat.[(triple3)] @1: The tiger is cold.[(((triple3) -> rule4))] The tiger needs the cat.[(((triple3) -> rule6))] @2: The tiger chases the cat.[(((triple2 ((triple3) -> rule6)) -> rule5))] @3: The tiger is green.[(((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule2))]