Anne is cold. Anne is furry. Anne is nice. Anne is round. Anne is smart. Anne is young. Dave is big. Dave is furry. Dave is nice. Dave is round. Dave is smart. Dave is young. Smart people are round. All smart, furry people are young. All nice people are young. If someone is furry and cold then they are smart. All nice people are cold. If someone is smart and round then they are cold. If Anne is big and Anne is nice then Anne is smart. If Anne is furry then Anne is big.
Dave is not big.