The mouse likes the squirrel. The squirrel is not rough. If something is red then it eats the squirrel. If something likes the squirrel and the squirrel is young then it eats the squirrel. If something likes the squirrel then the squirrel likes the mouse. If something sees the squirrel then it is not red. If something likes the squirrel and the squirrel likes the mouse then the squirrel sees the mouse. If something is cold and it does not see the mouse then the mouse is kind.
The squirrel is rough.
@0: The mouse likes the squirrel.[(triple1)] The squirrel is not rough.[(triple2)] @1: The squirrel likes the mouse.[(((triple1) -> rule3))] @2: The squirrel sees the mouse.[(((triple1 ((triple1) -> rule3)) -> rule5))]