The bald eagle is big. The bald eagle is blue. The bald eagle is not kind. The bald eagle is nice. The bald eagle is rough. If the bald eagle is blue and the bald eagle is not rough then the bald eagle is not big. If someone is big and blue then they are not kind. If someone is kind then they are nice.
The bald eagle chases the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not kind.[(triple3 OR ((triple1 triple2) -> rule2))] The bald eagle is rough.[(triple5)]