The bald eagle is big. The bald eagle is blue. The bald eagle is not kind. The bald eagle is red. The bald eagle is young. If someone is kind then they are big. If someone is blue and not kind then they are big. All kind people are red.
The bald eagle does not like the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple2 triple3) -> rule2))] The bald eagle is blue.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)]