Dave is not young. All young people are smart. All young people are smart. All white people are red. If someone is quiet and not young then they are not big. If Dave is white and Dave is young then Dave is cold. If someone is young then they are quiet. If someone is red and not quiet then they are not cold. White, smart people are not cold.
Dave is white.
@0: Dave is not young.[(triple1)]