The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. All kind, cold things are red. If the bald eagle is kind and the bald eagle is rough then the bald eagle is cold. All kind, nice things are rough.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is cold.[(triple1 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule2))] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple2 triple5) -> rule2)) -> rule1) OR ((triple2 ((triple2 ((triple2 triple3) -> rule3)) -> rule2)) -> rule1))] The bald eagle is rough.[(triple5 OR ((triple2 triple3) -> rule3))]