Bob is red. Charlie is white. Gary is cold. Gary is rough. Gary is white. Harry is cold. Harry is red. All kind people are white.
Harry is not white.
@0: Bob is red.[(triple1)] Charlie is white.[(triple2)] Gary is cold.[(triple3)] Gary is rough.[(triple4)] Gary is white.[(triple5)] Harry is cold.[(triple6)] Harry is red.[(triple7)]