The bear is not young. The bear needs the cow. The cow is not nice. The cow is not young. The cow likes the squirrel. The cow needs the dog. The cow needs the squirrel. The cow visits the squirrel. The dog is round. The dog likes the bear. The dog does not need the cow. The dog visits the cow. The squirrel is blue. The squirrel is cold. The squirrel likes the cow. The squirrel does not visit the dog. Round people are nice. Blue people are not nice.
The cow is not young.
@0: The bear is not young.[(triple1)] The bear needs the cow.[(triple2)] The cow is not nice.[(triple3)] The cow is not young.[(triple4)] The cow likes the squirrel.[(triple5)] The cow needs the dog.[(triple6)] The cow needs the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The dog does not need the cow.[(triple11)] The dog is round.[(triple9)] The dog likes the bear.[(triple10)] The dog visits the cow.[(triple12)] The squirrel does not visit the dog.[(triple16)] The squirrel is blue.[(triple13)] The squirrel is cold.[(triple14)] The squirrel likes the cow.[(triple15)] @1: The dog is nice.[(((triple9) -> rule1))] The squirrel is not nice.[(((triple13) -> rule2))]