Anne is kind. Dave is white. Gary is cold. Harry is red. If Gary is green and Gary is white then Gary is young.
Gary is not young.
@0: Anne is kind.[(triple1)] Dave is white.[(triple2)] Gary is cold.[(triple3)] Harry is red.[(triple4)]