The bald eagle is green. The bald eagle is rough. The bald eagle is young. Nice, rough people are young. Rough people are nice. Young, rough people are cold. All rough, nice people are green. Green people are cold. All green people are cold. If someone is green and rough then they are cold. All nice people are cold.
The bald eagle is rough.
@0: The bald eagle is green.[(triple1 OR ((triple2 ((triple2) -> rule2)) -> rule4))] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3 OR ((((triple2) -> rule2) triple2) -> rule1))] @1: The bald eagle is cold.[(((triple1) -> rule5) OR ((triple1) -> rule6) OR ((triple1 triple2) -> rule7) OR ((triple3 triple2) -> rule3) OR ((((triple2) -> rule2)) -> rule8) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule6) OR ((((triple2 ((triple2) -> rule2)) -> rule4) triple2) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule1) triple2) -> rule3))] The bald eagle is nice.[(((triple2) -> rule2))]