The bald eagle is big. The bald eagle is cold. The bald eagle is nice. If someone is cold and rough then they are nice. All big people are kind. If someone is rough then they are cold. If someone is rough and kind then they are nice. If the bald eagle is cold and the bald eagle is nice then the bald eagle is big. If someone is big and kind then they are cold.
The bald eagle is not cold.
@0: The bald eagle is big.[(triple1 OR ((triple2 triple3) -> rule5))] The bald eagle is cold.[(triple2 OR ((triple1 ((triple1) -> rule2)) -> rule6))] The bald eagle is nice.[(triple3)] @1: The bald eagle is kind.[(((triple1) -> rule2) OR ((((triple2 triple3) -> rule5)) -> rule2))]