The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. If the bald eagle is big and the bald eagle is round then the bald eagle is rough. Round things are big. If something is big then it is cold. Round things are cold. All round, big things are cold. If the bald eagle is nice and the bald eagle is round then the bald eagle is rough.
The bald eagle is nice.
@0: The bald eagle is big.[(triple1 OR ((triple5) -> rule2))] The bald eagle is cold.[(triple2 OR ((triple1) -> rule3) OR ((triple5) -> rule4) OR ((triple5 triple1) -> rule5) OR ((((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule5))] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple3 triple5) -> rule6) OR ((((triple5) -> rule2) triple5) -> rule1))] The bald eagle is round.[(triple5)]