The bald eagle is young. If something is young then it is nice. If the bald eagle is nice then the bald eagle is young. If something is rough and nice then it is blue. Round things are not rough. Young, nice things are rough. If the bald eagle is round then the bald eagle is not rough. If the bald eagle is round and the bald eagle is not nice then the bald eagle is rough. If something is nice and not young then it is round.
The bald eagle is not blue.
@0: The bald eagle is young.[(triple1)] @1: The bald eagle is nice.[(((triple1) -> rule1))] @2: The bald eagle is rough.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: The bald eagle is blue.[(((((triple1 ((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule3))]