The bald eagle is not big. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. All big things are nice. Kind things are not big. All green things are red.
The bald eagle eats the bald eagle.
@0: The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is not big.[(triple1 OR ((triple3) -> rule2))] The bald eagle is red.[(triple5 OR ((triple2) -> rule3))]