Dave is cold. Dave is rough. Dave is smart. Fiona is cold. Fiona is kind. Fiona is rough. Gary is quiet. If someone is red then they are quiet.
Dave is not quiet.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Dave is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is rough.[(triple6)] Gary is quiet.[(triple7)]