The bald eagle is big. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. If the bald eagle is nice then the bald eagle is rough. If the bald eagle is kind and the bald eagle is not nice then the bald eagle is not rough. If something is nice then it is round. All big things are round. If something is round then it is big. If something is kind and not nice then it is big.
The bald eagle chases the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple5) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple3) -> rule1))] The bald eagle is round.[(triple5 OR ((triple1) -> rule4) OR ((triple3) -> rule3))]