The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. The bald eagle is young. If the bald eagle is round then the bald eagle is kind. Young, round things are nice. If the bald eagle is young and the bald eagle is nice then the bald eagle is round. If the bald eagle is round and the bald eagle is not young then the bald eagle is not cold. All nice things are round. All young, nice things are round. Nice things are kind. If something is young and not round then it is not kind.
The bald eagle sees the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2 OR ((triple3) -> rule7) OR ((triple4) -> rule1) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple5 triple3) -> rule3)) -> rule1) OR ((((triple5 triple3) -> rule6)) -> rule1) OR ((((triple5 triple4) -> rule2)) -> rule7))] The bald eagle is nice.[(triple3 OR ((triple5 triple4) -> rule2))] The bald eagle is round.[(triple4 OR ((triple3) -> rule5) OR ((triple5 triple3) -> rule3) OR ((triple5 triple3) -> rule6))] The bald eagle is young.[(triple5)]