The mouse is blue. The mouse is kind. The mouse is red. The mouse is round. The mouse needs the squirrel. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is kind. The squirrel is rough. The squirrel needs the mouse. The squirrel sees the mouse. The squirrel visits the mouse. If someone is round then they see the mouse.
The squirrel is blue.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4)] The mouse needs the squirrel.[(triple5)] The mouse sees the squirrel.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel sees the mouse.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The mouse sees the mouse.[(((triple4) -> rule1))]