The bald eagle needs the cow. The bald eagle visits the cow. The cow chases the bald eagle. The cow needs the bald eagle. The lion chases the cow. The lion is blue. The lion is red. The lion is rough. The lion is round. The lion needs the bald eagle. The lion needs the cow. The lion visits the bald eagle. If the cow visits the lion then the lion is round. If something needs the lion then the lion chases the cow. If something chases the cow then it chases the bald eagle.
The lion does not chase the cow.
@0: The bald eagle needs the cow.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow needs the bald eagle.[(triple4)] The lion chases the cow.[(triple5)] The lion is blue.[(triple6)] The lion is red.[(triple7)] The lion is rough.[(triple8)] The lion is round.[(triple9)] The lion needs the bald eagle.[(triple10)] The lion needs the cow.[(triple11)] The lion visits the bald eagle.[(triple12)] @1: The lion chases the bald eagle.[(((triple5) -> rule3))]