The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is cold. The bald eagle is not young. The bald eagle sees the bear. The bear chases the lion. The lion chases the bald eagle. The lion eats the bear. The lion sees the bald eagle. The lion sees the bear. If someone is cold and they do not chase the lion then they chase the bald eagle. If someone sees the bear and they eat the lion then they are red. If someone sees the bear then the bear does not see the bald eagle.
The bald eagle does not chase the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not young.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear chases the lion.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion eats the bear.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the bear.[(triple10)] @1: The bald eagle is red.[(((triple5 triple2) -> rule2))] The bear does not see the bald eagle.[(((triple10) -> rule3) OR ((triple5) -> rule3))]