Dave is smart. If someone is big and not white then they are cold. If Dave is nice then Dave is red. Big people are nice. If someone is cold and not blue then they are big. Smart people are not white. If someone is nice then they are big. If Dave is not white then Dave is cold. If someone is not cold then they are not blue.
Dave is nice.