Anne is cold. Anne is kind. Anne is smart. Charlie is round. Dave is blue. Gary is big. Gary is smart. If someone is not cold then they are kind. All big people are blue. If Gary is smart then Gary is kind. If someone is round and kind then they are smart. If someone is kind and not round then they are smart. If someone is blue then they are nice. If Dave is not round then Dave is nice. Smart people are big. If Dave is blue then Dave is nice.
Dave is not kind.