Charlie is white. Fiona is blue. Gary is white. If someone is nice and green then they are not white. If Fiona is white then Fiona is big. If someone is nice and not red then they are not green.
Charlie is nice.
@0: Charlie is white.[(triple1)] Fiona is blue.[(triple2)] Gary is white.[(triple3)]