The bald eagle is kind. The bald eagle likes the lion. The bald eagle sees the lion. The bald eagle does not visit the lion. The lion is nice. The lion likes the bald eagle. The lion sees the bald eagle. If someone is blue and they see the bald eagle then the bald eagle does not see the lion. If someone sees the lion then the lion is not cold. If the bald eagle is cold and the bald eagle sees the lion then the lion is not cold. If someone visits the bald eagle then the bald eagle visits the lion. If someone likes the lion and they are not blue then they are kind. Nice people are rough. If someone sees the bald eagle then they are rough. If someone is kind and they like the bald eagle then they visit the lion.
The bald eagle is kind.
@0: The bald eagle does not visit the lion.[(triple4)] The bald eagle is kind.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion is nice.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The lion is not cold.[(((triple3) -> rule2))] The lion is rough.[(((triple5) -> rule6) OR ((triple7) -> rule7))]