Dave is nice. Dave is not red. Fiona is red. If Fiona is green then Fiona is red. Red, green people are kind.
Fiona is not kind.
@0: Dave is nice.[(triple1)] Dave is not red.[(triple2)] Fiona is red.[(triple3)]