The bald eagle chases the lion. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle visits the lion. The cow chases the lion. The cow is round. The cow is young. The cow visits the bald eagle. The lion chases the bald eagle. The lion chases the cow. The lion is round. The lion needs the bald eagle. The lion visits the cow. If the lion is green then the lion needs the bald eagle. If something needs the bald eagle and it chases the bald eagle then it is young. If something visits the bald eagle and it needs the bald eagle then the bald eagle is nice. If something chases the cow then the cow is rough. If something is young and it chases the bald eagle then it visits the cow. If something is young and rough then it chases the bald eagle.
The bald eagle is young.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle visits the lion.[(triple7)] The cow chases the lion.[(triple8)] The cow is round.[(triple9)] The cow is young.[(triple10)] The cow visits the bald eagle.[(triple11)] The lion chases the bald eagle.[(triple12)] The lion chases the cow.[(triple13)] The lion is round.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion visits the cow.[(triple16 OR ((((triple15 triple12) -> rule2) triple12) -> rule5))] @1: The cow is rough.[(((triple13) -> rule4))] The lion is young.[(((triple15 triple12) -> rule2))] @2: The cow chases the bald eagle.[(((triple10 ((triple13) -> rule4)) -> rule6))] @3: The cow visits the cow.[(((triple10 ((triple10 ((triple13) -> rule4)) -> rule6)) -> rule5))]