Anne is white. Charlie is nice. Fiona is blue. Green things are quiet. Red things are green. Nice, green things are young. If Charlie is green and Charlie is white then Charlie is young. If something is quiet and blue then it is young. Blue things are green.
Charlie is red.
@0: Anne is white.[(triple1)] Charlie is nice.[(triple2)] Fiona is blue.[(triple3)] @1: Fiona is green.[(((triple3) -> rule6))] @2: Fiona is quiet.[(((((triple3) -> rule6)) -> rule1))] @3: Fiona is young.[(((((((triple3) -> rule6)) -> rule1) triple3) -> rule5))]