Anne is cold. Anne is red. Anne is white. Bob is cold. Bob is furry. Bob is not red. Bob is round. Bob is smart. Bob is white. Fiona is cold. Fiona is green. Fiona is not round. White things are furry. Furry things are green. If Fiona is smart and Fiona is not round then Fiona is furry. If Fiona is not red then Fiona is furry. All furry things are smart. White, round things are not red. If something is not smart then it is white. If something is not white and not red then it is green.
Fiona is not furry.