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