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