Dave is cold. Gary is red. Harry is red. If Gary is red and Gary is nice then Gary is cold. All white things are furry. If Harry is red and Harry is kind then Harry is white.
Harry is kind.
@0: Dave is cold.[(triple1)] Gary is red.[(triple2)] Harry is red.[(triple3)]