Anne is blue. Charlie is furry. Charlie is nice. Dave is cold. Dave is nice. Dave is smart. Fiona is big. If Charlie is big and Charlie is nice then Charlie is quiet. All big things are quiet. If something is quiet and cold then it is furry. Furry, blue things are nice. If something is blue and furry then it is cold. Quiet, furry things are blue. If Charlie is quiet and Charlie is cold then Charlie is smart. If something is nice then it is big. All blue things are cold.
Anne is not smart.