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