Charlie is furry. Charlie is green. Charlie is rough. Dave is big. Dave is blue. Dave is green. Dave is rough. All blue things are furry. If something is nice then it is round. If something is blue then it is nice. Nice things are round. If something is green then it is furry. All rough things are furry. All round, furry things are nice. All blue things are big.
Dave is not nice.