The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. Rough things are blue. If something is kind and big then it is nice.
The bald eagle does not see the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple5) -> rule1))] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4 OR ((triple3 triple1) -> rule2))] The bald eagle is rough.[(triple5)]