Charlie is white. Dave is kind. Fiona is green. If Fiona is red then Fiona is white. If someone is red and not rough then they are green. If someone is red then they are green. If Charlie is young then Charlie is not nice. Young, rough people are not kind. If Dave is young and Dave is nice then Dave is not red.
Fiona is nice.
@0: Charlie is white.[(triple1)] Dave is kind.[(triple2)] Fiona is green.[(triple3)]