Bob is furry. Charlie is green. Dave is blue. Dave is cold. Dave is smart. Gary is cold. Gary is furry. If something is furry and green then it is cold. Furry things are green. All green, furry things are cold.
Charlie is not cold.