Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is cold. Erin is round. Fiona is cold. Fiona is furry. Fiona is smart. Gary is furry. Gary is round. Gary is young. If Fiona is kind and Fiona is red then Fiona is furry. If something is smart then it is young. If something is red then it is smart. Round, furry things are red. All kind things are round. All smart, young things are kind. Red, round things are smart. Round, smart things are furry.
Gary is not smart.