Bob is green. Charlie is big. Dave is cold. Fiona is cold. Green, smart things are big. If something is smart and green then it is cold. Rough things are big. If something is big then it is blue. All blue things are cold. Blue, cold things are white.
Bob is not white.