The squirrel is big. The squirrel is green. The squirrel is nice. Green, big people are rough. Kind, green people are rough. If someone is green and rough then they are kind.
The squirrel is not kind.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is rough.[(((triple2 triple1) -> rule1))] @2: The squirrel is kind.[(((triple2 ((triple2 triple1) -> rule1)) -> rule3))]