Bob is big. Bob is green. Bob is red. Bob is round. Bob is smart. Charlie is big. Charlie is not blue. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. All big people are quiet. All green, blue people are not round. Blue people are red. If someone is blue and quiet then they are green. Big people are round. All big, red people are smart. If someone is smart then they are quiet. If someone is round and not red then they are green.
Charlie is blue.