The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the rabbit. The bear needs the cow. The cow needs the bear. The rabbit is blue. The rabbit needs the cow. If something needs the rabbit then it chases the rabbit. If something is green then it chases the bear. All blue things are green.
The bear chases the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bear needs the cow.[(triple4)] The cow needs the bear.[(triple5)] The rabbit is blue.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The rabbit is green.[(((triple6) -> rule3))] @2: The rabbit chases the bear.[(((((triple6) -> rule3)) -> rule2))]