The bear chases the lion. The bear eats the cow. The bear eats the lion. The bear is blue. The bear sees the cow. The cow chases the bear. The cow sees the bear. The lion chases the cow. The lion chases the squirrel. The lion eats the bear. The lion eats the cow. The lion eats the squirrel. The lion is rough. The squirrel is blue. The squirrel sees the cow. If someone eats the bear and the bear is green then they are big. If someone eats the cow and the cow is red then they chase the cow. If someone is blue then they chase the cow. If someone sees the cow and the cow eats the bear then they see the bear. If someone chases the cow and the cow is blue then they are big. If someone eats the squirrel and they eat the cow then the cow sees the lion.
The cow is rough.
@0: The bear chases the lion.[(triple1)] The bear eats the cow.[(triple2)] The bear eats the lion.[(triple3)] The bear is blue.[(triple4)] The bear sees the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow sees the bear.[(triple7)] The lion chases the cow.[(triple8)] The lion chases the squirrel.[(triple9)] The lion eats the bear.[(triple10)] The lion eats the cow.[(triple11)] The lion eats the squirrel.[(triple12)] The lion is rough.[(triple13)] The squirrel is blue.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The bear chases the cow.[(((triple4) -> rule3))] The cow sees the lion.[(((triple12 triple11) -> rule6))] The squirrel chases the cow.[(((triple14) -> rule3))]