Charlie is blue. Dave is blue. Fiona is furry. Fiona is green. Fiona is smart. Gary is big. Gary is white. All white, smart things are blue. If something is blue then it is furry. If Gary is big and Gary is red then Gary is blue. Big, white things are furry. Furry things are red. Green, smart things are furry.
Gary is not smart.