Anne is not quiet. Anne is round. Anne is white. Bob is kind. Bob is quiet. Bob is not round. Bob is smart. Bob is not white. Dave is not big. Dave is kind. Dave is round. Dave is smart. Dave is not young. Gary is big. Gary is quiet. Gary is young. If Anne is quiet and Anne is young then Anne is round. If Gary is kind and Gary is big then Gary is not round. If Gary is quiet and Gary is not white then Gary is smart. If something is not smart then it is young. If something is quiet and not smart then it is big. If something is not round then it is kind.
Gary is smart.