The bald eagle is rough. The bald eagle likes the bear. The bald eagle needs the bear. The bald eagle needs the mouse. The bear is cold. The bear is rough. The bear likes the mouse. The bear needs the mouse. The mouse chases the bald eagle. The mouse chases the bear. The mouse needs the bald eagle. The mouse needs the bear. If something chases the bald eagle then the bald eagle chases the bear. If the bald eagle chases the bear then the bear is green.
The bald eagle chases the bear.
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bear is cold.[(triple5)] The bear is rough.[(triple6)] The bear likes the mouse.[(triple7)] The bear needs the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse chases the bear.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse needs the bear.[(triple12)] @1: The bald eagle chases the bear.[(((triple9) -> rule1))] @2: The bear is green.[(((((triple9) -> rule1)) -> rule2))]