The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is round. All cold, rough people are round. All round people are nice. If someone is cold and rough then they are nice. All round people are red. If the bald eagle is rough then the bald eagle is round. If someone is round then they are cold.
The bald eagle needs the bald eagle.
@0: The bald eagle is cold.[(triple1 OR ((triple5) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] The bald eagle is nice.[(triple2 OR ((triple5) -> rule2) OR ((triple1 triple4) -> rule3) OR ((((triple4) -> rule5)) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2) OR ((((triple5) -> rule6) triple4) -> rule3) OR ((((((triple4) -> rule5)) -> rule6) triple4) -> rule3))] The bald eagle is red.[(triple3 OR ((triple5) -> rule4) OR ((((triple4) -> rule5)) -> rule4) OR ((((triple1 triple4) -> rule1)) -> rule4))] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5 OR ((triple4) -> rule5) OR ((triple1 triple4) -> rule1))]