Charlie is red. Dave is cold. Dave is white. Gary is furry. Harry is quiet. Harry is red. Harry is young. Cold things are furry. All red, young things are furry. All white, red things are young. All cold, red things are young. Red, quiet things are cold. All red things are cold. If Gary is red then Gary is big. If something is big and cold then it is young.
Dave is quiet.