Anne is furry. Anne is smart. Bob is not blue. Bob is furry. Bob is green. Dave is not furry. Dave is green. Dave is not round. Dave is smart. Fiona is furry. Fiona is kind. Fiona is smart. If Fiona is round then Fiona is cold. Cold things are furry. Blue, round things are not furry. All blue things are furry. If something is kind and not cold then it is green. If something is not green then it is round.
Fiona is smart.