The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is rough. All blue, big things are cold. Cold, blue things are green. If the bald eagle is blue then the bald eagle is rough. If something is blue and rough then it is green. If something is rough and green then it is blue. Green things are big.
The bald eagle is cold.
@0: The bald eagle is big.[(triple1 OR ((triple4) -> rule6) OR ((((triple2 triple5) -> rule4)) -> rule6) OR ((((triple3 triple2) -> rule2)) -> rule6) OR ((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule6))] The bald eagle is blue.[(triple2 OR ((triple5 triple4) -> rule5))] The bald eagle is cold.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple4) -> rule6)) -> rule1) OR ((((triple5 triple4) -> rule5) triple1) -> rule1) OR ((((triple5 triple4) -> rule5) ((triple4) -> rule6)) -> rule1) OR ((triple2 ((((triple2 triple5) -> rule4)) -> rule6)) -> rule1) OR ((((triple5 triple4) -> rule5) ((((triple2 triple5) -> rule4)) -> rule6)) -> rule1) OR ((triple2 ((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule1) OR ((((triple5 triple4) -> rule5) ((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule1))] The bald eagle is green.[(triple4 OR ((triple2 triple5) -> rule4) OR ((triple3 triple2) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule4) OR ((((triple2 triple1) -> rule1) triple2) -> rule2))] The bald eagle is rough.[(triple5 OR ((triple2) -> rule3))]