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