The bear is blue. The squirrel eats the bear. If someone is nice and they visit the squirrel then the squirrel is red. If someone visits the bear then they see the bear. If someone eats the bear then the bear eats the squirrel. If the squirrel is nice then the squirrel visits the bear. If someone is nice and they eat the squirrel then they see the squirrel. If someone sees the bear then the bear sees the squirrel. If someone is rough then they eat the squirrel. If someone eats the bear then the bear sees the squirrel.
The bear is not nice.
@0: The bear is blue.[(triple1)] The squirrel eats the bear.[(triple2)] @1: The bear eats the squirrel.[(((triple2) -> rule3))] The bear sees the squirrel.[(((triple2) -> rule8))]