Bob is green. Bob is red. Bob is not white. If someone is kind then they are blue. If someone is quiet and not white then they are not red. Green, blue people are quiet.
Bob is not green.
@0: Bob is green.[(triple1)] Bob is not white.[(triple3)] Bob is red.[(triple2)]