Dave is blue. Gary is green. If something is big then it is blue. Big, red things are not smart. Blue things are not red. If something is not quiet then it is big. Red things are not smart. If Gary is kind and Gary is not big then Gary is not red.
Dave is not kind.