Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is not round. Bob is smart. Bob is white. Dave is cold. Dave is not kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is not white. Kind people are smart. If someone is round then they are not kind. If someone is not quiet and not red then they are smart.
Bob is red.