The bear chases the lion. The lion needs the bear. The squirrel chases the bear. The tiger chases the lion. If someone chases the lion and they need the squirrel then the squirrel sees the bear. If someone needs the bear then the bear needs the squirrel. If someone is nice and green then they see the lion. If the bear chases the tiger then the tiger chases the squirrel. If someone needs the bear then they are big. If someone chases the tiger and the tiger is green then the tiger is young.
The squirrel does not see the bear.
@0: The bear chases the lion.[(triple1)] The lion needs the bear.[(triple2)] The squirrel chases the bear.[(triple3)] The tiger chases the lion.[(triple4)] @1: The bear needs the squirrel.[(((triple2) -> rule2))] The lion is big.[(((triple2) -> rule5))] @2: The squirrel sees the bear.[(((triple1 ((triple2) -> rule2)) -> rule1))]