The bald eagle chases the cow. The bald eagle is red. The bald eagle needs the squirrel. The cow chases the lion. The cow needs the lion. The lion is round. The lion is young. The squirrel is round. The squirrel is young. The squirrel needs the cow. If someone is big then they need the squirrel. If someone is red and they eat the cow then they chase the squirrel. If someone eats the cow then the cow needs the squirrel. If someone needs the bald eagle and they chase the bald eagle then the bald eagle is green. If the lion eats the cow and the cow is green then the cow needs the lion. If someone is young then they are red. If the cow needs the squirrel then the cow chases the bald eagle. If someone chases the lion then they are big.
The bald eagle is not red.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cow chases the lion.[(triple4)] The cow needs the lion.[(triple5)] The lion is round.[(triple6)] The lion is young.[(triple7)] The squirrel is round.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cow is big.[(((triple4) -> rule8))] The lion is red.[(((triple7) -> rule6))] The squirrel is red.[(((triple9) -> rule6))] @2: The cow needs the squirrel.[(((((triple4) -> rule8)) -> rule1))] @3: The cow chases the bald eagle.[(((((((triple4) -> rule8)) -> rule1)) -> rule7))]