The mouse likes the squirrel. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel sees the mouse. If the mouse needs the squirrel and the squirrel likes the mouse then the mouse is nice. If the mouse is kind then the mouse needs the squirrel. If the mouse needs the squirrel and the mouse likes the squirrel then the mouse is blue. If the mouse likes the squirrel and the squirrel sees the mouse then the mouse is kind. If the squirrel needs the mouse then the mouse is nice. If the squirrel needs the mouse and the mouse likes the squirrel then the mouse sees the squirrel.
The squirrel sees the mouse.
@0: The mouse likes the squirrel.[(triple1)] The squirrel is big.[(triple2)] The squirrel is blue.[(triple3)] The squirrel is nice.[(triple4)] The squirrel likes the mouse.[(triple5)] The squirrel needs the mouse.[(triple6)] The squirrel sees the mouse.[(triple7)] @1: The mouse is kind.[(((triple1 triple7) -> rule4))] The mouse is nice.[(((triple6) -> rule5) OR ((((((triple1 triple7) -> rule4)) -> rule2) triple5) -> rule1))] The mouse sees the squirrel.[(((triple6 triple1) -> rule6))] @2: The mouse needs the squirrel.[(((((triple1 triple7) -> rule4)) -> rule2))] @3: The mouse is blue.[(((((((triple1 triple7) -> rule4)) -> rule2) triple1) -> rule3))]