Anne is blue. Anne is rough. Charlie is red. Furry things are white. Furry, white things are blue. Blue, furry things are white. All rough, red things are round. If something is rough then it is quiet. If something is blue then it is red.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Charlie is red.[(triple3)] @1: Anne is quiet.[(((triple2) -> rule5))] Anne is red.[(((triple1) -> rule6))] @2: Anne is round.[(((triple2 ((triple1) -> rule6)) -> rule4))]