Anne is smart. Bob is red. Dave is smart. Fiona is green. If something is round then it is red. Red things are smart. If Anne is young and Anne is red then Anne is furry. All smart things are round. Red things are furry. All red things are round.
Dave is not red.