Charlie is nice. If Charlie is big then Charlie is nice. All quiet, green people are nice. All green people are furry. All quiet, big people are blue. All big people are cold. All quiet, cold people are nice. Nice people are big. If someone is furry and blue then they are big.
Charlie is not blue.