The bald eagle is big. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is young. If something is nice and not big then it is not green. If something is young then it is green. All young things are green. All young things are red. If something is green and not young then it is red. Big, red things are nice. Green things are nice. If the bald eagle is young and the bald eagle is nice then the bald eagle is red.
The bald eagle does not eat the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2 OR ((triple5) -> rule2) OR ((triple5) -> rule3))] The bald eagle is nice.[(triple3 OR ((triple2) -> rule7) OR ((triple1 triple4) -> rule6) OR ((((triple5) -> rule2)) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((triple1 ((triple5) -> rule4)) -> rule6))] The bald eagle is red.[(triple4 OR ((triple5) -> rule4) OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple2) -> rule7)) -> rule8) OR ((triple5 ((((triple5) -> rule2)) -> rule7)) -> rule8) OR ((triple5 ((((triple5) -> rule3)) -> rule7)) -> rule8))] The bald eagle is young.[(triple5)]