The bear sees the lion. The lion is red. The rabbit needs the lion. The squirrel sees the rabbit. If someone sees the rabbit then they see the bear. If the squirrel sees the rabbit then the squirrel is rough.
The squirrel does not see the bear.
@0: The bear sees the lion.[(triple1)] The lion is red.[(triple2)] The rabbit needs the lion.[(triple3)] The squirrel sees the rabbit.[(triple4)] @1: The squirrel is rough.[(((triple4) -> rule2))] The squirrel sees the bear.[(((triple4) -> rule1))]