Bob is blue. Bob is not green. Bob is not kind. Bob is nice. Gary is green. Gary is nice. Gary is rough. All kind things are nice.
Gary is not kind.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple4)] Bob is not green.[(triple2)] Bob is not kind.[(triple3)] Gary is green.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)]