Anne is big. Anne is furry. Anne is red. Anne is smart. Dave is big. Dave is cold. Dave is furry. Dave is smart. Dave is white. Fiona is white. Harry is green. Harry is smart. If someone is big and red then they are green. All big, smart people are furry. All green, furry people are red. If Anne is green then Anne is big. Red people are green. If someone is white then they are green. If someone is big and smart then they are cold. All big, smart people are white.
Fiona is not cold.