The bald eagle chases the lion. The bald eagle is cold. The bald eagle is kind. The bald eagle is not red. The bald eagle is round. The bald eagle does not like the lion. The bald eagle does not see the lion. The lion chases the bald eagle. The lion is kind. The lion sees the bald eagle. If someone sees the bald eagle then they are round. If the bald eagle is round and the bald eagle does not see the lion then the lion does not like the bald eagle.
The lion is not nice.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not like the lion.[(triple6)] The bald eagle does not see the lion.[(triple7)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is round.[(triple5)] The lion chases the bald eagle.[(triple8)] The lion is kind.[(triple9)] The lion sees the bald eagle.[(triple10)] @1: The lion does not like the bald eagle.[(((triple5 triple7) -> rule2))] The lion is round.[(((triple10) -> rule1))]