Anne is big. Anne is blue. Anne is cold. Anne is quiet. Anne is smart. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is smart. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Rough things are furry. All blue, furry things are smart. If Charlie is cold then Charlie is big.
Charlie is smart.