Charlie is cold. Dave is furry. Dave is kind. Dave is not round. Dave is smart. Erin is not nice. Erin is round. Erin is white. Gary is cold. Gary is round. Gary is smart. Gary is white. If something is white and round then it is furry. If Dave is cold then Dave is kind. All nice things are cold. If something is round and not smart then it is not kind. Cold, round things are white. All cold, round things are white. If something is not nice then it is furry. If something is not furry then it is kind.
Charlie is not white.