Bob is not big. Bob is red. Bob is not smart. Bob is young. Charlie is big. Charlie is blue. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Harry is big. Harry is not blue. Harry is red. Harry is smart. Harry is white. Blue, big people are smart. If Charlie is big then Charlie is young. If Harry is blue then Harry is not red. All smart, blue people are big. Young people are blue. Blue, big people are smart. Red, furry people are blue. If Harry is not furry then Harry is big.
Bob is not white.