Bob is blue. Bob is cold. Bob is green. Bob is not quiet. Bob is young. Gary is not blue. Gary is white. If Bob is cold and Bob is not green then Bob is blue. All white, green people are nice.
Gary is quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not quiet.[(triple4)] Bob is young.[(triple5)] Gary is not blue.[(triple6)] Gary is white.[(triple7)]