The bald eagle is nice. All nice people are young. Nice people are young. If someone is young and nice then they are blue. All young people are blue. Blue, round people are cold. If someone is round and young then they are not cold. If someone is young and not blue then they are not round. If someone is cold and not blue then they are round.
The bald eagle is round.
@0: The bald eagle is nice.[(triple1)] @1: The bald eagle is young.[(((triple1) -> rule1) OR ((triple1) -> rule2))] @2: The bald eagle is blue.[(((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule1) triple1) -> rule3) OR ((((triple1) -> rule2) triple1) -> rule3))]