Anne is green. Charlie is red. Fiona is round. All young people are red. If someone is young then they are green.
Anne is blue.
@0: Anne is green.[(triple1)] Charlie is red.[(triple2)] Fiona is round.[(triple3)]