The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. If someone is kind then they are green. Nice people are green. If the bald eagle is young and the bald eagle is green then the bald eagle is kind. If the bald eagle is nice and the bald eagle is green then the bald eagle is blue. If someone is kind and young then they are nice. If someone is blue and green then they are young.
The bald eagle is blue.
@0: The bald eagle is blue.[(triple1 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple3) -> rule1)) -> rule4) OR ((triple4 ((triple4) -> rule2)) -> rule4) OR ((((triple3 triple5) -> rule5) triple2) -> rule4) OR ((((triple3 triple5) -> rule5) ((triple3) -> rule1)) -> rule4) OR ((((triple3 triple5) -> rule5) ((triple4) -> rule2)) -> rule4) OR ((triple4 ((((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 triple2) -> rule3) triple5) -> rule5) triple2) -> rule4) OR ((((triple3 triple5) -> rule5) ((((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 triple2) -> rule3) triple5) -> rule5) ((triple3) -> rule1)) -> rule4) OR ((((((triple5 triple2) -> rule3) triple5) -> rule5) ((triple4) -> rule2)) -> rule4) OR ((((((triple5 triple2) -> rule3) triple5) -> rule5) ((((triple3 triple5) -> rule5)) -> rule2)) -> rule4))] The bald eagle is green.[(triple2 OR ((triple3) -> rule1) OR ((triple4) -> rule2) OR ((((triple3 triple5) -> rule5)) -> rule2))] The bald eagle is kind.[(triple3 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple4) -> rule2)) -> rule3) OR ((((triple1 triple2) -> rule6) triple2) -> rule3) OR ((((triple1 triple2) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((triple1 ((triple4) -> rule2)) -> rule6) triple2) -> rule3) OR ((((((triple4 triple2) -> rule4) triple2) -> rule6) triple2) -> rule3) OR ((((triple1 ((triple4) -> rule2)) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple4 triple2) -> rule4) triple2) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple4 triple2) -> rule4) ((triple4) -> rule2)) -> rule6) triple2) -> rule3) OR ((((((triple4 triple2) -> rule4) ((triple4) -> rule2)) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule4) triple2) -> rule6) triple2) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule4) triple2) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule6) triple2) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule6) ((triple4) -> rule2)) -> rule3))] The bald eagle is nice.[(triple4 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule5) OR ((((triple5 triple2) -> rule3) triple5) -> rule5) OR ((((triple5 triple2) -> rule3) ((triple1 triple2) -> rule6)) -> rule5) OR ((triple3 ((triple1 ((triple3) -> rule1)) -> rule6)) -> rule5) OR ((((((triple1 triple2) -> rule6) triple2) -> rule3) triple5) -> rule5) OR ((((triple5 triple2) -> rule3) ((triple1 ((triple3) -> rule1)) -> rule6)) -> rule5) OR ((((((triple1 triple2) -> rule6) triple2) -> rule3) ((triple1 triple2) -> rule6)) -> rule5) OR ((((((triple1 triple2) -> rule6) triple2) -> rule3) ((triple1 ((triple3) -> rule1)) -> rule6)) -> rule5))] The bald eagle is young.[(triple5 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple3) -> rule1)) -> rule6) OR ((triple1 ((triple4) -> rule2)) -> rule6) OR ((((triple4 triple2) -> rule4) triple2) -> rule6) OR ((((triple4 triple2) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple4 triple2) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((triple4 ((triple3) -> rule1)) -> rule4) triple2) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule4) triple2) -> rule6) OR ((((triple4 ((triple3) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple4 ((triple3) -> rule1)) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule4) ((triple3) -> rule1)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule6))]