The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is round. The bald eagle is young. If someone is young and nice then they are blue.
The bald eagle is young.
@0: The bald eagle is blue.[(triple1 OR ((triple5 triple3) -> rule1))] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]