The bear is blue. The bear is cold. The bear is young. The bear likes the cow. The cow is blue. The cow visits the mouse. The mouse chases the bear. The mouse likes the cow. The mouse visits the squirrel. The squirrel is young. The squirrel visits the bear. The squirrel visits the cow. If someone likes the squirrel then they are round. If someone is young and cold then they chase the squirrel.
The cow is blue.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is young.[(triple3)] The bear likes the cow.[(triple4)] The cow is blue.[(triple5)] The cow visits the mouse.[(triple6)] The mouse chases the bear.[(triple7)] The mouse likes the cow.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel is young.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The bear chases the squirrel.[(((triple3 triple2) -> rule2))]