The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. If something is big and round then it is red.
The bald eagle does not see the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple1 triple5) -> rule1))] The bald eagle is round.[(triple5)]