Charlie is not furry. Charlie is green. Charlie is nice. Dave is big. Dave is blue. Dave is furry. Dave is not green. Dave is nice. Dave is not rough. Dave is smart. If Dave is not furry then Dave is not big. Big, smart things are nice. All rough things are not smart. All blue, rough things are smart. Smart things are blue. If Charlie is rough then Charlie is not green. If Dave is big and Dave is not nice then Dave is not green. If something is big and not blue then it is not rough.
Charlie is green.