Dave is blue. Dave is cold. Dave is white. All white, kind people are not blue. If someone is smart and cold then they are not blue. If someone is cold and red then they are not smart. Kind, smart people are red. If someone is red then they are not kind. If Dave is red and Dave is cold then Dave is white. White, kind people are young. If someone is red and not white then they are young.
Dave is smart.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is white.[(triple3)]