The bald eagle is red. The bald eagle is rough. The bald eagle is young. If the bald eagle is red and the bald eagle is young then the bald eagle is green. If someone is young then they are red. All kind people are red. All red people are young. If the bald eagle is green then the bald eagle is rough. If the bald eagle is green and the bald eagle is rough then the bald eagle is kind.
The bald eagle is not green.
@0: The bald eagle is red.[(triple1 OR ((triple3) -> rule2))] The bald eagle is rough.[(triple2 OR ((((triple1 triple3) -> rule1)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3) -> rule2) triple3) -> rule1)) -> rule5) OR ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule5))] The bald eagle is young.[(triple3 OR ((triple1) -> rule4))] @1: The bald eagle is green.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule4)) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1) OR ((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1))] @2: The bald eagle is kind.[(((((triple1 triple3) -> rule1) triple2) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule1) triple2) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) triple2) -> rule6) OR ((((triple1 triple3) -> rule1) ((((triple1 triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1) triple2) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule1) ((((triple1 triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) ((((triple1 triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1) ((((triple1 triple3) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule1) ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule1) ((((((triple3) -> rule2) triple3) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule1) ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule1) ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule1) ((((((triple3) -> rule2) triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) ((((((triple3) -> rule2) triple3) -> rule1)) -> rule5)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule1) ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1) ((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1) ((((((triple3) -> rule2) triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1) ((((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule5)) -> rule6))]