The bald eagle is red. The bald eagle likes the cow. The bald eagle needs the bear. The bald eagle needs the cow. The bear is blue. The bear is not kind. The bear is young. The bear needs the mouse. The cow chases the mouse. The cow is blue. The cow is green. The mouse needs the bear. If someone likes the cow then the cow chases the bear.
The bear does not chase the bald eagle.
@0: The bald eagle is red.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the cow.[(triple4)] The bear is blue.[(triple5)] The bear is not kind.[(triple6)] The bear is young.[(triple7)] The bear needs the mouse.[(triple8)] The cow chases the mouse.[(triple9)] The cow is blue.[(triple10)] The cow is green.[(triple11)] The mouse needs the bear.[(triple12)] @1: The cow chases the bear.[(((triple2) -> rule1))]