Charlie is big. Charlie is nice. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is rough. If someone is green then they are nice. Rough people are nice. All nice, cold people are furry. If Dave is cold then Dave is big. If someone is rough and cold then they are big. If Dave is green and Dave is cold then Dave is nice. All cold people are big. All cold, furry people are young.
Charlie is not big.