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