Anne is cold. Anne is rough. Erin is rough. All cold people are white. All white, cold people are blue. If someone is white and not rough then they are not quiet. All blue, white people are not quiet. If someone is round and blue then they are quiet. If someone is quiet then they are young.
Anne is blue.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Erin is rough.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule1) triple1) -> rule2))] @3: Anne is not quiet.[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule4))]