Anne is cold. Anne is quiet. Bob is cold. Bob is quiet. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is red. Fiona is cold. If someone is furry and big then they are green. If someone is cold then they are big. If someone is green and big then they are nice. Green people are quiet. All big, cold people are nice. If Anne is red then Anne is cold. Quiet, big people are red. All red, cold people are furry. If someone is nice and cold then they are red.
Fiona is red.