The mouse is cold. The mouse is green. The mouse is kind. The mouse is round. The mouse needs the squirrel. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is round. The squirrel visits the mouse. If something is green and it visits the squirrel then it sees the mouse. If something sees the mouse and it needs the squirrel then the mouse is red.
The squirrel does not see the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is kind.[(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 cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is round.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The mouse sees the mouse.[(((triple2 triple7) -> rule1))] @2: The mouse is red.[(((((triple2 triple7) -> rule1) triple5) -> rule2))]