The mouse eats the squirrel. The mouse is big. The mouse is cold. The mouse is green. The mouse is red. The mouse is rough. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel likes the mouse. The squirrel sees the mouse. If something is red and it sees the mouse then it sees the squirrel. If something is green then it sees the mouse.
The mouse sees the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8 OR ((triple5 ((triple4) -> rule2)) -> rule1))] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel sees the mouse.[(triple16 OR ((triple12) -> rule2))] @1: The mouse sees the mouse.[(((triple4) -> rule2))] The squirrel sees the squirrel.[(((triple13 triple16) -> rule1) OR ((triple13 ((triple12) -> rule2)) -> rule1))]