The lion eats the mouse. The lion eats the squirrel. The lion is nice. The lion is round. The lion likes the mouse. The mouse eats the lion. The mouse eats the squirrel. The mouse is green. The mouse likes the squirrel. The mouse sees the lion. The mouse sees the squirrel. The squirrel is blue. The squirrel is round. The squirrel likes the lion. The squirrel sees the lion. The squirrel sees the mouse. If something likes the mouse and the mouse eats the squirrel then the squirrel eats the mouse. If the mouse eats the lion and the lion is green then the mouse eats the squirrel. If the mouse likes the squirrel and the mouse is green then the squirrel is green.
The mouse is green.
@0: The lion eats the mouse.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is nice.[(triple3)] The lion is round.[(triple4)] The lion likes the mouse.[(triple5)] The mouse eats the lion.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse is green.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse sees the lion.[(triple10)] The mouse sees the squirrel.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel sees the lion.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The squirrel eats the mouse.[(((triple5 triple7) -> rule1))] The squirrel is green.[(((triple9 triple8) -> rule3))]