Charlie is cold. Dave is white. Fiona is rough. Gary is rough. If someone is nice then they are rough. If someone is nice then they are big. All quiet, rough people are cold.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] Dave is white.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)]