The bald eagle is blue. If the bald eagle is rough then the bald eagle is young. Rough people are young. All blue, kind people are rough. If someone is young then they are kind. Young, blue people are rough. If the bald eagle is blue then the bald eagle is rough. If someone is kind then they are young. If the bald eagle is kind and the bald eagle is green then the bald eagle is blue.
The bald eagle is not kind.
@0: The bald eagle is blue.[(triple1)] @1: The bald eagle is rough.[(((triple1) -> rule6))] @2: The bald eagle is young.[(((((triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule6)) -> rule2))] @3: The bald eagle is kind.[(((((((triple1) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule4))]