The bald eagle is young. The bald eagle needs the lion. The cow likes the lion. The cow needs the lion. The cow needs the squirrel. The lion is kind. The squirrel is nice. If someone likes the bald eagle then the bald eagle needs the squirrel. If someone is kind then they are blue. If someone needs the lion and the lion is blue then they see the bald eagle.
The lion is blue.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the lion.[(triple2)] The cow likes the lion.[(triple3)] The cow needs the lion.[(triple4)] The cow needs the squirrel.[(triple5)] The lion is kind.[(triple6)] The squirrel is nice.[(triple7)] @1: The lion is blue.[(((triple6) -> rule2))] @2: The bald eagle sees the bald eagle.[(((triple2 ((triple6) -> rule2)) -> rule3))] The cow sees the bald eagle.[(((triple4 ((triple6) -> rule2)) -> rule3))]