The bald eagle is young. The bald eagle needs the lion. The cow eats the bald eagle. The cow needs the bald eagle. The lion chases the cow. The lion eats the cow. The lion needs the bald eagle. If someone needs the cow and they eat the bald eagle then the bald eagle eats the lion. If someone needs the lion and they need the bald eagle then they chase the cow. If someone is cold then they need the bald eagle. If someone is round then they need the bald eagle. If someone eats the lion then they are round. If someone needs the bald eagle and the bald eagle is round then the bald eagle is rough. If someone needs the bald eagle then they are round. If someone is round then they need the lion.
The cow is not round.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the lion.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow needs the bald eagle.[(triple4)] The lion chases the cow.[(triple5 OR ((((((triple7) -> rule7)) -> rule8) triple7) -> rule2))] The lion eats the cow.[(triple6)] The lion needs the bald eagle.[(triple7)] @1: The cow is round.[(((triple4) -> rule7))] The lion is round.[(((triple7) -> rule7))] @2: The cow needs the lion.[(((((triple4) -> rule7)) -> rule8))] The lion needs the lion.[(((((triple7) -> rule7)) -> rule8))] @3: The cow chases the cow.[(((((((triple4) -> rule7)) -> rule8) triple4) -> rule2))]