Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is young. Charlie is green. Charlie is red. Charlie is young. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is young. If Bob is nice then Bob is red. All young things are red. All nice things are kind. If something is kind then it is cold. Cold things are young. All green, red things are nice.
Charlie is not cold.