Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is rough. Dave is big. Dave is not blue. Dave is cold. Dave is not green. Dave is rough. If someone is nice then they are not big. If someone is not quiet then they are big. All blue, cold people are not nice. If someone is not rough and not big then they are nice. If someone is quiet and not big then they are cold. If Bob is not big then Bob is cold. If Dave is green and Dave is not nice then Dave is not quiet. If someone is big and not nice then they are cold.
Bob is green.