Anne is smart. Charlie is green. Erin is blue. If something is green and smart then it is rough. All white things are smart. All green, white things are kind. Kind, green things are blue. All smart things are green. All green, white things are furry.
Anne is white.
@0: Anne is smart.[(triple1)] Charlie is green.[(triple2)] Erin is blue.[(triple3)] @1: Anne is green.[(((triple1) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule5) triple1) -> rule1))]