Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is white. If Dave is kind then Dave is cold. If Dave is red and Dave is cold then Dave is kind. If Dave is big and Dave is blue then Dave is green. White things are cold. If Dave is green then Dave is red. Cold things are white. All red things are cold. Kind, cold things are big.
Dave is blue.