Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is not quiet. Dave is white. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is white. All blue things are white. If something is kind then it is furry. If Erin is blue then Erin is furry.
Charlie is red.