Charlie is blue. Gary is green. All green, young people are quiet. If Charlie is quiet and Charlie is blue then Charlie is green. Round people are quiet. All blue people are quiet. All green people are quiet. If someone is round then they are young. Quiet, young people are round. All blue, quiet people are young.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Gary is green.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule4))] Gary is quiet.[(((triple2) -> rule5))] @2: Charlie is green.[(((((triple1) -> rule4) triple1) -> rule2))] Charlie is young.[(((triple1 ((triple1) -> rule4)) -> rule8))] @3: Charlie is round.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule8)) -> rule7))]