The bald eagle does not chase the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is round. The bald eagle is young. The bald eagle sees the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is not young. The lion does not visit the bald eagle. If someone chases the bald eagle then they are not blue.
The bald eagle sees the bald eagle.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle sees the lion.[(triple6)] The bald eagle visits the lion.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion does not visit the bald eagle.[(triple10)] The lion is not young.[(triple9)] @1: The lion is not blue.[(((triple8) -> rule1))]