The bald eagle visits the squirrel. The bear needs the squirrel. The cow is nice. The squirrel is big. If someone is blue then they are nice. If someone visits the squirrel then they are kind. Kind people are blue.
The bald eagle is nice.
@0: The bald eagle visits the squirrel.[(triple1)] The bear needs the squirrel.[(triple2)] The cow is nice.[(triple3)] The squirrel is big.[(triple4)] @1: The bald eagle is kind.[(((triple1) -> rule2))] @2: The bald eagle is blue.[(((((triple1) -> rule2)) -> rule3))] @3: The bald eagle is nice.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]