The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is not red. The bald eagle is young. All young people are cold. Red, big people are cold. If someone is young then they are cold. All red, big people are not cold. If someone is young and red then they are big. All young people are green.
The bald eagle is not young.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5) -> rule1) OR ((triple5) -> rule3))] The bald eagle is green.[(triple3 OR ((triple5) -> rule6))] The bald eagle is not red.[(triple4)] The bald eagle is young.[(triple5)]