Bob is not big. Bob is furry. Bob is green. Bob is not rough. Bob is round. Bob is smart. Bob is young. Charlie is big. Charlie is green. Charlie is rough. Charlie is round. Charlie is not smart. Erin is green. Erin is smart. Erin is young. If Erin is not young then Erin is rough. If someone is not big then they are furry. All young, furry people are not big. If someone is round then they are furry. All young people are round. If someone is rough then they are green. If someone is not round then they are furry. If someone is young and not furry then they are not smart.
Charlie is not furry.