Anne is blue. Dave is big. Dave is blue. Fiona is big. Fiona is cold. Fiona is smart. Fiona is young. Harry is big. Harry is blue. Harry is smart. All smart, big things are cold. All smart, furry things are rough. Furry, young things are smart. If something is big and cold then it is furry. All young, furry things are blue. Rough things are furry.
Harry is not smart.