The bald eagle likes the lion. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle sees the lion. The cow likes the bald eagle. The lion is cold. The lion likes the bald eagle. The lion likes the cow. The lion needs the bald eagle. The lion sees the bald eagle. The lion sees the cow. The squirrel likes the bald eagle. If someone needs the bald eagle then they like the cow. If someone is green and they need the lion then they see the cow. If someone is blue and cold then they are young. If someone is young and they need the bald eagle then the bald eagle is green. If someone sees the bald eagle then they are young. All young people are blue.
The squirrel sees the bald eagle.
@0: The bald eagle likes the lion.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle sees the lion.[(triple4)] The cow likes the bald eagle.[(triple5)] The lion is cold.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion likes the cow.[(triple8 OR ((triple9) -> rule1))] The lion needs the bald eagle.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion sees the cow.[(triple11)] The squirrel likes the bald eagle.[(triple12)] @1: The lion is young.[(((triple10) -> rule5))] @2: The bald eagle is green.[(((((triple10) -> rule5) triple9) -> rule4))] The lion is blue.[(((((triple10) -> rule5)) -> rule6))] @3: The bald eagle sees the cow.[(((((((triple10) -> rule5) triple9) -> rule4) triple3) -> rule2))]