The squirrel is nice. If something is big and not nice then it is round. If the squirrel is green then the squirrel is round. Nice things are green.
The squirrel is kind.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule3))] @2: The squirrel is round.[(((((triple1) -> rule3)) -> rule2))]