Anne is not nice. Bob is blue. Bob is cold. Bob is not red. Dave is cold. Dave is not nice. Dave is not round. Cold, nice people are blue. All cold, furry people are nice. If Dave is round then Dave is blue. All nice people are round. If someone is round then they are blue. If Dave is round and Dave is not big then Dave is not furry. Furry people are not nice. If someone is blue and not furry then they are nice.
Bob is blue.