The bear eats the squirrel. The squirrel is big. If someone eats the bear then they chase the bear. If someone sees the bear and the bear chases the squirrel then the bear is red. If the bear eats the squirrel and the bear does not chase the squirrel then the bear sees the squirrel. If someone eats the bear and they see the squirrel then they are big. If someone sees the squirrel then they are not big. If someone eats the squirrel then they eat the bear.
The bear does not chase the bear.
@0: The bear eats the squirrel.[(triple1)] The squirrel is big.[(triple2)] @1: The bear eats the bear.[(((triple1) -> rule6))] @2: The bear chases the bear.[(((((triple1) -> rule6)) -> rule1))]