Anne is red. Charlie is blue. Erin is smart. Fiona is green. If something is young and not blue then it is big.
Fiona is not green.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Erin is smart.[(triple3)] Fiona is green.[(triple4)]