Anne is round. Bob is round. Charlie is red. Dave is red. Blue, red things are round. All red, furry things are round. All smart things are blue. If Dave is cold then Dave is round. If something is red then it is smart. If Charlie is nice then Charlie is cold.
Dave is smart.