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 big things are green. If something is blue then it is green. Green, kind things are big.
The bald eagle likes the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple4 triple5) -> rule3) OR ((((triple2) -> rule2) triple5) -> rule3))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4 OR ((triple1) -> rule1) OR ((triple2) -> rule2))] The bald eagle is kind.[(triple5)]