The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. Cold, rough things are big. Cold things are red.
The bald eagle is big.
@0: The bald eagle is big.[(triple1 OR ((triple2 triple5) -> rule1))] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple2) -> rule2))] The bald eagle is rough.[(triple5)]