Bob is kind. Bob is white. Gary is white. Furry, nice people are red. If someone is furry and kind then they are green. If Gary is kind then Gary is furry.
Gary is not white.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2)] Gary is white.[(triple3)]