Anne is young. Charlie is kind. Dave is kind. If someone is young and rough then they are not quiet. If someone is quiet and not green then they are young. All kind people are rough. If Dave is blue and Dave is quiet then Dave is big. Big, quiet people are not blue. If someone is rough and not quiet then they are blue. If someone is kind and not rough then they are young. If someone is not young then they are big.
Charlie is not big.