Anne is cold. Anne is furry. Anne is smart. Fiona is nice. Fiona is quiet. Fiona is smart. Harry is cold. If Anne is red and Anne is quiet then Anne is nice. All nice people are red. If someone is nice then they are cold. If Anne is smart then Anne is furry. If Harry is smart then Harry is quiet. Smart, green people are red.
Anne is not furry.