The bear is rough. The squirrel is blue. If something eats the bear then the bear needs the squirrel. All blue things are red. If the bear visits the squirrel and the bear eats the squirrel then the squirrel visits the bear. If something needs the bear then the bear eats the squirrel. If something visits the bear then the bear eats the squirrel. If something eats the squirrel and it needs the bear then the squirrel is red.
The squirrel does not visit the bear.
@0: The bear is rough.[(triple1)] The squirrel is blue.[(triple2)] @1: The squirrel is red.[(((triple2) -> rule2))]