Bob is cold. Bob is white. Charlie is blue. Charlie is smart. Dave is blue. Gary is blue. Gary is cold. White, green people are rough.
Gary is smart.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Charlie is blue.[(triple3)] Charlie is smart.[(triple4)] Dave is blue.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)]