Bob is round. Bob is young. Charlie is round. Charlie is young. Dave is young. Erin is green. Erin is young. Young, nice people are blue. Young, round people are big. All big people are rough. If someone is young and blue then they are green. All rough people are nice. If someone is rough then they are big.
Bob is not green.