The bald eagle is green. All green things are cold. If something is round and green then it is blue. All nice, green things are round. All blue things are green. If something is cold and blue then it is nice. All green, round things are nice. If the bald eagle is cold then the bald eagle is green. If something is cold and green then it is round.
The bald eagle does not see the bald eagle.
@0: The bald eagle is green.[(triple1)] @1: The bald eagle is cold.[(((triple1) -> rule1))] @2: The bald eagle is round.[(((((triple1) -> rule1) triple1) -> rule8))] @3: The bald eagle is blue.[(((((((triple1) -> rule1) triple1) -> rule8) triple1) -> rule2))] The bald eagle is nice.[(((triple1 ((((triple1) -> rule1) triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule1) ((((((triple1) -> rule1) triple1) -> rule8) triple1) -> rule2)) -> rule5))]