The bear chases the tiger. The squirrel is rough. The tiger sees the bear. If something sees the squirrel then it chases the tiger. If something sees the bear and it sees the tiger then the bear sees the tiger. If something is rough then it sees the squirrel. If something sees the tiger then the tiger chases the bear. If something sees the tiger and the tiger is red then it sees the squirrel. If something sees the squirrel and the squirrel sees the bear then the squirrel needs the bear.
The squirrel is rough.
@0: The bear chases the tiger.[(triple1)] The squirrel is rough.[(triple2)] The tiger sees the bear.[(triple3)] @1: The squirrel sees the squirrel.[(((triple2) -> rule3))] @2: The squirrel chases the tiger.[(((((triple2) -> rule3)) -> rule1))]