The bear chases the squirrel. The bear eats the dog. The bear is round. The bear likes the dog. The cow chases the bear. The cow chases the dog. The cow eats the bear. The cow eats the squirrel. The cow is not green. The cow is nice. The cow is rough. The dog eats the bear. The dog eats the squirrel. The squirrel does not eat the cow. The squirrel is round. The squirrel likes the bear. If someone likes the bear then they do not chase the squirrel.
The squirrel chases the cow.
@0: The bear chases the squirrel.[(triple1)] The bear eats the dog.[(triple2)] The bear is round.[(triple3)] The bear likes the dog.[(triple4)] The cow chases the bear.[(triple5)] The cow chases the dog.[(triple6)] The cow eats the bear.[(triple7)] The cow eats the squirrel.[(triple8)] The cow is nice.[(triple10)] The cow is not green.[(triple9)] The cow is rough.[(triple11)] The dog eats the bear.[(triple12)] The dog eats the squirrel.[(triple13)] The squirrel does not eat the cow.[(triple14)] The squirrel is round.[(triple15)] The squirrel likes the bear.[(triple16)] @1: The squirrel does not chase the squirrel.[(((triple16) -> rule1))]