Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. If something is round and not nice then it is big. If Charlie is blue then Charlie is green. Rough things are cold. If Bob is green then Bob is not nice. If something is green and blue then it is big. If something is round and not big then it is rough.
Charlie is not green.