Anne is quiet. Erin is furry. Gary is young. All young people are red. All quiet people are young. All quiet, red people are furry.
Anne is not red.
@0: Anne is quiet.[(triple1)] Erin is furry.[(triple2)] Gary is young.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] Gary is red.[(((triple3) -> rule1))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule3))]