Charlie is blue. Charlie is round. Charlie is young. Erin is green. Fiona is blue. Fiona is cold. Fiona is young. If Erin is red then Erin is green.
Fiona is not blue.
@0: Charlie is blue.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Erin is green.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is young.[(triple7)]