Bob is not big. Bob is red. Bob is not rough. Bob is young. Charlie is not big. Charlie is blue. Dave is blue. Dave is red. Dave is white. Dave is not young. Harry is big. Harry is not blue. Harry is red. Harry is white. Harry is young. All young people are red. If Harry is young then Harry is big. Red people are white.
Charlie is not red.