Anne is blue. Anne is quiet. Charlie is young. Blue people are round. Round, young people are quiet. All kind people are blue. If Charlie is red and Charlie is kind then Charlie is furry. If someone is furry and kind then they are young. If Charlie is young then Charlie is blue.
Charlie is quiet.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Charlie is young.[(triple3)] @1: Anne is round.[(((triple1) -> rule1))] Charlie is blue.[(((triple3) -> rule6))] @2: Charlie is round.[(((((triple3) -> rule6)) -> rule1))] @3: Charlie is quiet.[(((((((triple3) -> rule6)) -> rule1) triple3) -> rule2))]