归纳证明造句