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