The mouse is nice. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel is red. The squirrel is not young. The squirrel likes the mouse. The squirrel visits the mouse. If the squirrel is rough then the squirrel visits the mouse. If something visits the squirrel then the squirrel visits the mouse. If something likes the squirrel then the squirrel is red. If something needs the mouse and it is red then the mouse needs the squirrel. If the mouse likes the squirrel then the mouse does not need the squirrel. If the mouse is nice and the mouse is young then the mouse does not visit the squirrel. If the mouse is not red then the mouse likes the squirrel. If something likes the squirrel and it does not need the squirrel then it visits the mouse.
The mouse is kind.
@0: The mouse is nice.[(triple1)] The mouse likes the squirrel.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel is not young.[(triple5)] The squirrel is red.[(triple4 OR ((triple2) -> rule3))] The squirrel likes the mouse.[(triple6)] The squirrel visits the mouse.[(triple7 OR ((triple3) -> rule2))] @1: The mouse does not need the squirrel.[(((triple2) -> rule5))] @2: The mouse visits the mouse.[(((triple2 ((triple2) -> rule5)) -> rule8))]