Anne is red. Charlie is quiet. Fiona is round. Harry is not young. If Anne is young and Anne is quiet then Anne is not blue. All big, young things are not quiet. If something is quiet and not young then it is blue.
Anne is green.
@0: Anne is red.[(triple1)] Charlie is quiet.[(triple2)] Fiona is round.[(triple3)] Harry is not young.[(triple4)]