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