The bald eagle is red. All green, blue people are nice. Nice, young people are red. Blue people are red. If the bald eagle is red and the bald eagle is green then the bald eagle is young. If someone is red then they are nice. If the bald eagle is nice and the bald eagle is young then the bald eagle is green. If the bald eagle is blue then the bald eagle is red. All red, green people are nice.
The bald eagle is red.
@0: The bald eagle is red.[(triple1)] @1: The bald eagle is nice.[(((triple1) -> rule5))]