Charlie is cold. Dave is cold. Gary is nice. Harry is nice. All kind people are cold. All rough, green people are cold. Smart people are nice. If Gary is kind and Gary is smart then Gary is nice. All smart, cold people are nice. If Gary is cold then Gary is kind. If Charlie is nice and Charlie is rough then Charlie is smart. If Gary is rough and Gary is cold then Gary is white.
Gary is not nice.
@0: Charlie is cold.[(triple1)] Dave is cold.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)]