Bob is not red. White, nice things are not green. If Bob is red then Bob is nice. All nice things are quiet. If something is red and not nice then it is not quiet. All white, green things are kind. If something is green and not nice then it is not kind.
Bob is red.
@0: Bob is not red.[(triple1)]