Anne is not big. Anne is cold. Anne is not green. Anne is smart. Bob is big. Bob is cold. Bob is green. Bob is smart. Fiona is cold. Fiona is furry. Fiona is smart. Fiona is young. If someone is green and smart then they are big. If someone is not green then they are smart. If Bob is young and Bob is not furry then Bob is smart. If Fiona is young then Fiona is furry. If someone is big then they are young. All big, young people are not furry. Green, furry people are cold. All rough people are not smart.
Bob is not furry.