Anne is furry. Anne is round. Anne is smart. Dave is round. Dave is young. Fiona is furry. Fiona is young. If something is nice and smart then it is blue. All round, smart things are nice. Smart, round things are young. If something is cold and blue then it is young. Smart, young things are furry. If Dave is cold then Dave is blue. Cold things are furry. If Anne is nice then Anne is furry.
Anne is not smart.