Charlie is green. Charlie is round. Dave is big. Dave is green. Dave is kind. Dave is round. Dave is white. If Dave is kind then Dave is blue. Round, red things are big. If something is round then it is kind. If Charlie is kind then Charlie is red. All big things are green. If Dave is white then Dave is big.
Dave is blue.