The bear is rough. The mouse likes the bear. The squirrel likes the mouse. If someone eats the bear then the bear is red. If someone likes the bear then they are blue. If someone is cold and red then they like the squirrel.
The mouse does not like the squirrel.
@0: The bear is rough.[(triple1)] The mouse likes the bear.[(triple2)] The squirrel likes the mouse.[(triple3)] @1: The mouse is blue.[(((triple2) -> rule2))]