Anne is furry. Anne is nice. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is rough. Charlie is blue. Charlie is cold. Charlie is rough. Charlie is round. Charlie is smart. Erin is nice. Erin is rough. Erin is round. If someone is round and cold then they are smart. If Charlie is blue then Charlie is smart. If someone is round and smart then they are blue. Nice people are furry. All blue people are nice. All nice, rough people are furry.
Charlie is nice.