Anne is nice. Anne is red. Fiona is blue. Fiona is cold. Fiona is furry. Gary is blue. Harry is smart. If Fiona is blue then Fiona is rough. Cold, rough people are furry. If someone is cold then they are not red. All blue people are rough. If someone is furry then they are nice. If someone is not red then they are cold. All cold people are blue. If Fiona is not blue then Fiona is rough. If someone is rough and not furry then they are smart.
Harry is not furry.