Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is red. Bob is smart. Bob is young. Charlie is cold. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Dave is cold. Dave is kind. Dave is young. Green things are red. If Dave is cold then Dave is red. If something is big then it is red. Cold, young things are kind. If Charlie is cold then Charlie is red. Kind, young things are smart. If something is red then it is green. Kind, young things are red.
Dave is big.