The bald eagle is round. All rough, round things are green. All cold, nice things are round. All rough things are green. All round things are nice. Rough, cold things are round. All round things are rough.
The bald eagle is rough.
@0: The bald eagle is round.[(triple1)] @1: The bald eagle is nice.[(((triple1) -> rule4))] The bald eagle is rough.[(((triple1) -> rule6))] @2: The bald eagle is green.[(((((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule1))]