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