The bear eats the mouse. The bear eats the squirrel. The bear is nice. The bear visits the squirrel. The mouse chases the bear. The mouse eats the squirrel. The mouse is cold. The mouse is nice. The mouse is round. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is blue. If something chases the bear and the bear eats the squirrel then it is green.
The mouse does not chase the mouse.
@0: The bear eats the mouse.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is nice.[(triple3)] The bear visits the squirrel.[(triple4)] The mouse chases the bear.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8)] The mouse is round.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel is blue.[(triple12)] @1: The mouse is green.[(((triple5 triple2) -> rule1))]