The bald eagle is blue. The bald eagle is rough. The bald eagle is round. All red, rough people are round. All red, blue people are round. Rough people are big. If someone is blue then they are round. If the bald eagle is rough then the bald eagle is big. If someone is blue then they are rough. Red people are round. If the bald eagle is red then the bald eagle is round.
The bald eagle is rough.
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2 OR ((triple1) -> rule6))] The bald eagle is round.[(triple3 OR ((triple1) -> rule4))] @1: The bald eagle is big.[(((triple2) -> rule3) OR ((triple2) -> rule5) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule6)) -> rule5))]