Anne is red. Bob is kind. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is round. Gary is green. Gary is red. Nice people are kind. Furry, nice people are round. Kind, nice people are red. All nice, furry people are red. Kind people are furry. If Gary is round and Gary is green then Gary is cold. All red people are nice.
Anne is cold.