第八次作业(前束范式,推理)