The bald eagle is blue. The bald eagle is kind. The bald eagle is rough. Kind, red things are big. All kind things are big. Big, rough things are not red. All rough things are kind. All blue, big things are kind. If something is big and kind then it is blue.
The bald eagle is not rough.
@0: The bald eagle is blue.[(triple1 OR ((((triple2) -> rule2) triple2) -> rule6) OR ((((triple2) -> rule2) ((triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule6))] The bald eagle is kind.[(triple2 OR ((triple3) -> rule4))] The bald eagle is rough.[(triple3)] @1: The bald eagle is big.[(((triple2) -> rule2) OR ((((triple3) -> rule4)) -> rule2))] @2: The bald eagle is not red.[(((((triple2) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule4)) -> rule2) triple3) -> rule3))]