Anne is green. Fiona is red. Gary is cold. If something is smart then it is not green. If something is red and not smart then it is round.
Fiona is blue.
@0: Anne is green.[(triple1)] Fiona is red.[(triple2)] Gary is cold.[(triple3)]