The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. If the bald eagle is cold and the bald eagle is not kind then the bald eagle is not rough. All rough people are blue. If someone is rough then they are blue. All young, rough people are cold. If someone is young and blue then they are rough. All young, blue people are rough.
The bald eagle is not rough.
@0: The bald eagle is blue.[(triple1 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] The bald eagle is cold.[(triple2 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple5 triple1) -> rule5)) -> rule4) OR ((triple5 ((triple5 triple1) -> rule6)) -> rule4))] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple5 triple1) -> rule5) OR ((triple5 triple1) -> rule6))] The bald eagle is young.[(triple5)]