Charlie is quiet. Dave is cold. Erin is kind. Fiona is young. All cold, kind things are red.
Erin is not red.
@0: Charlie is quiet.[(triple1)] Dave is cold.[(triple2)] Erin is kind.[(triple3)] Fiona is young.[(triple4)]