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