The bald eagle is big. If someone is round and not rough then they are big. If someone is green and round then they are big. If someone is green then they are not kind. If the bald eagle is kind and the bald eagle is not rough then the bald eagle is not round. Round people are green. All big people are round.
The bald eagle is big.
@0: The bald eagle is big.[(triple1)] @1: The bald eagle is round.[(((triple1) -> rule6))] @2: The bald eagle is green.[(((((triple1) -> rule6)) -> rule5))] @3: The bald eagle is not kind.[(((((((triple1) -> rule6)) -> rule5)) -> rule3))]