The bear sees the tiger. The cow needs the tiger. The lion chases the tiger. The tiger sees the bear. If someone needs the lion then the lion sees the cow. If someone chases the cow then the cow needs the bear. If someone is young and they need the cow then they chase the lion. If someone is big then they see the tiger. Big people are kind. If someone chases the tiger then they are big. If the tiger is kind and the tiger needs the lion then the tiger needs the cow. If someone is big and they chase the bear then they are kind.
The tiger does not see the tiger.
@0: The bear sees the tiger.[(triple1)] The cow needs the tiger.[(triple2)] The lion chases the tiger.[(triple3)] The tiger sees the bear.[(triple4)] @1: The lion is big.[(((triple3) -> rule6))] @2: The lion is kind.[(((((triple3) -> rule6)) -> rule5))] The lion sees the tiger.[(((((triple3) -> rule6)) -> rule4))]