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 bear does not see the lion.
@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))]