Anne is blue. Anne is cold. Anne is kind. Charlie is cold. Charlie is kind. Charlie is nice. Erin is blue. Erin is cold. Gary is cold. Gary is quiet. Kind, blue things are quiet. Quiet, cold things are smart. Smart, blue things are furry.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Gary is cold.[(triple9)] Gary is quiet.[(triple10)] @1: Anne is quiet.[(((triple3 triple1) -> rule1))] Gary is smart.[(((triple10 triple9) -> rule2))] @2: Anne is smart.[(((((triple3 triple1) -> rule1) triple2) -> rule2))] @3: Anne is furry.[(((((((triple3 triple1) -> rule1) triple2) -> rule2) triple1) -> rule3))]