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