The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is young. Kind, big things are blue. Blue things are red. All red things are blue. Blue, big things are red. If the bald eagle is kind and the bald eagle is big then the bald eagle is blue. Red things are young. If something is young then it is red. If something is big and red then it is blue.
The bald eagle is blue.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple4) -> rule3) OR ((triple1 triple4) -> rule8) OR ((triple3 triple1) -> rule1) OR ((triple3 triple1) -> rule5) OR ((((triple5) -> rule7)) -> rule3) OR ((triple1 ((triple5) -> rule7)) -> rule8))] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple2) -> rule2) OR ((triple5) -> rule7) OR ((triple2 triple1) -> rule4) OR ((((triple3 triple1) -> rule1)) -> rule2) OR ((((triple3 triple1) -> rule5)) -> rule2) OR ((((triple3 triple1) -> rule1) triple1) -> rule4) OR ((((triple3 triple1) -> rule5) triple1) -> rule4))] The bald eagle is young.[(triple5 OR ((triple4) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule4)) -> rule6) OR ((((((triple3 triple1) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3 triple1) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3 triple1) -> rule1) triple1) -> rule4)) -> rule6) OR ((((((triple3 triple1) -> rule5) triple1) -> rule4)) -> rule6))]