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