The bear sees the squirrel. The mouse chases the squirrel. The squirrel is rough. If something sees the squirrel then the squirrel chases the mouse. If something sees the bear then the bear is cold. If the bear chases the squirrel and the bear sees the squirrel then the squirrel chases the mouse. If the squirrel sees the bear and the squirrel likes the bear then the squirrel chases the bear. All rough things are big. If the bear is cold and the bear chases the mouse then the bear is rough.
The mouse does not chase the squirrel.
@0: The bear sees the squirrel.[(triple1)] The mouse chases the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The squirrel chases the mouse.[(((triple1) -> rule1))] The squirrel is big.[(((triple3) -> rule5))]