Bob is big. Bob is blue. Bob is kind. Bob is round. Bob is smart. Dave is big. Dave is quiet. Dave is red. Dave is round. Gary is big. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. All red people are big. If Dave is blue then Dave is smart. All kind, big people are smart. Red people are kind. Big, quiet people are round. If someone is round then they are kind.
Bob is not blue.