Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Charlie is big. Charlie is not blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Smart things are nice. Nice things are big. Green, nice things are smart. If something is not big then it is not blue. If Charlie is not big then Charlie is blue. If something is quiet and not smart then it is round.
Bob is blue.