Dave is big. Dave is green. Dave is round. Dave is smart. Fiona is big. Fiona is green. Fiona is smart. If Dave is furry then Dave is blue. Furry things are blue. All smart things are furry. If something is round and not big then it is green. Furry things are smart. Big things are cold. If something is not round and not furry then it is green. If Fiona is not cold then Fiona is smart.
Dave is round.