Bob is blue. Charlie is quiet. All blue, smart things are nice. Rough things are nice. If something is round then it is rough. If something is smart then it is blue. Quiet, blue things are rough. All round things are blue. If something is nice then it is smart. Quiet things are round.
Bob is not blue.