Anne is green. Anne is quiet. Gary is quiet. All round, quiet people are white. If someone is green and white then they are kind. Green, quiet people are white.
Anne is white.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is white.[(((triple1 triple2) -> rule3))] @2: Anne is kind.[(((triple1 ((triple1 triple2) -> rule3)) -> rule2))]