Bob is cold. Bob is kind. Bob is quiet. Charlie is cold. Dave is big. Dave is cold. Dave is quiet. Dave is red. Erin is big. Erin is furry. Erin is green. Erin is kind. Red people are green. All green, furry people are kind. All red, green people are quiet. Big, green people are furry. If someone is quiet then they are furry. All cold people are red. If Bob is quiet and Bob is red then Bob is big. If someone is big and furry then they are red. If someone is furry then they are green.
Charlie is furry.