The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. Blue things are nice. If the bald eagle is big and the bald eagle is blue then the bald eagle is nice. If the bald eagle is big then the bald eagle is blue.
The bald eagle does not like the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple1) -> rule3))] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4 OR ((triple2) -> rule1) OR ((triple1 triple2) -> rule2) OR ((((triple1) -> rule3)) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule2))] The bald eagle is round.[(triple5)]