Anne is blue. Anne is white. Anne is young. If something is blue and white then it is kind. All big things are green.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] @1: Anne is kind.[(((triple1 triple2) -> rule1))]