The bald eagle is young. All round, young things are blue. All young things are kind. If something is kind then it is blue. If something is kind then it is nice. If the bald eagle is blue then the bald eagle is round. Young, kind things are nice. Young things are round. If something is round then it is nice.
The bald eagle does not like the bald eagle.
@0: The bald eagle is young.[(triple1)] @1: The bald eagle is kind.[(((triple1) -> rule2))] The bald eagle is round.[(((triple1) -> rule7) OR ((((((triple1) -> rule2)) -> rule3)) -> rule5))] @2: The bald eagle is blue.[(((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule7) triple1) -> rule1))] The bald eagle is nice.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule7)) -> rule8) OR ((triple1 ((triple1) -> rule2)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule8))]