Charlie is big. Charlie is blue. Charlie is cold. Charlie is rough. Charlie is smart. Dave is blue. Dave is cold. Dave is furry. Dave is rough. Dave is round. Dave is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is rough. Fiona is round. Big, furry things are rough. All round, cold things are rough. Smart, blue things are big. If something is furry and round then it is smart. All big, cold things are round. All blue, smart things are rough. If Charlie is blue and Charlie is furry then Charlie is cold. All smart things are cold.
Fiona is not smart.