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