Anne is kind. Anne is smart. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is not round. Dave is not smart. Gary is not cold. Gary is nice. Gary is not round. Gary is not smart. Harry is kind. Harry is not smart. Big, quiet people are cold. All cold, kind people are quiet. If someone is not round then they are big. If Gary is quiet then Gary is cold. All nice, smart people are not kind. If someone is round and not kind then they are not cold. If Gary is round and Gary is kind then Gary is not nice. If someone is kind and not round then they are quiet.
Anne is not smart.