The bald eagle needs the bear. The bald eagle needs the cow. The bear is round. The bear is young. The bear visits the bald eagle. The cow chases the bald eagle. The cow is blue. If someone chases the cow then they need the cow. All young, round people are blue.
The bear is big.
@0: The bald eagle needs the bear.[(triple1)] The bald eagle needs the cow.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear visits the bald eagle.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is blue.[(triple7)] @1: The bear is blue.[(((triple4 triple3) -> rule2))]