The mouse is cold. The mouse is green. The mouse is red. The mouse is rough. The mouse is young. The mouse likes the squirrel. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the mouse. The squirrel sees the mouse. The squirrel visits the mouse. If someone visits the mouse then the mouse visits the squirrel. If someone is young then they see the squirrel. If someone is young and they see the squirrel then they like the squirrel.
The squirrel sees the squirrel.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5)] The mouse likes the squirrel.[(triple6 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3))] The mouse sees the squirrel.[(triple7 OR ((triple5) -> rule2))] The mouse visits the squirrel.[(triple8 OR ((triple16) -> rule1))] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel sees the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel sees the squirrel.[(((triple13) -> rule2))] @2: The squirrel likes the squirrel.[(((triple13 ((triple13) -> rule2)) -> rule3))]