Dave is cold. Dave is furry. Dave is green. Dave is smart. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Fiona is kind. Fiona is quiet. Gary is cold. Gary is furry. Gary is green. Gary is smart. If Fiona is green then Fiona is furry. All smart, green things are furry. All smart, cold things are green. If something is quiet and kind then it is smart. All quiet things are smart. Smart, quiet things are cold. All cold, furry things are blue. If Gary is green and Gary is quiet then Gary is blue.
Fiona is not cold.