The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. All kind, green people are big. All green, cold people are big. If someone is big then they are blue.
The bald eagle likes the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple4 triple3) -> rule2) OR ((triple5 triple4) -> rule1))] The bald eagle is blue.[(triple2 OR ((triple1) -> rule3) OR ((((triple4 triple3) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule1)) -> rule3))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)]