The bald eagle is blue. The bald eagle is cold. The bald eagle is red. The bald eagle is rough. The bald eagle is young. All rough, young people are blue. If someone is blue and cold then they are rough.
The bald eagle chases the bald eagle.
@0: The bald eagle is blue.[(triple1 OR ((triple4 triple5) -> rule1))] The bald eagle is cold.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple1 triple2) -> rule2))] The bald eagle is young.[(triple5)]