The bear eats the cow. The bear eats the squirrel. The bear is kind. The bear visits the cow. The bear visits the squirrel. The cow eats the bear. The cow eats the squirrel. The cow is green. The cow is kind. The cow is rough. The cow sees the bear. The cow sees the squirrel. The squirrel eats the cow. The squirrel is rough. The squirrel is round. The squirrel sees the cow. If someone is green then they see the cow.
The cow visits the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is kind.[(triple3)] The bear visits the cow.[(triple4)] The bear visits the squirrel.[(triple5)] The cow eats the bear.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is green.[(triple8)] The cow is kind.[(triple9)] The cow is rough.[(triple10)] The cow sees the bear.[(triple11)] The cow sees the squirrel.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The cow sees the cow.[(((triple8) -> rule1))]