Charlie is green. Charlie is round. Dave is kind. If something is not round then it is cold. Green things are kind. If something is cold and not big then it is green. If Dave is big then Dave is cold. If Dave is kind and Dave is not round then Dave is rough. If something is round and not kind then it is rough.
Dave is round.