已知：如果小壤驷参加高跷队，那么他每周三傍晚练习绑腿踩街步法；如果每周三傍晚练习…
已知：如果小壤驷参加高跷队，那么他每周三傍晚练习绑腿踩街步法；如果每周三傍晚练习，那么他无法参加周三傍晚的围棋班。小壤驷本学期每周三傍晚都在参加围棋班。由此可以推出：
A. 小壤驷参加了高跷队且棋社新购棋钟
B. 高跷队更换木跷且棋社新购棋钟
C. 小壤驷没有参加高跷队
D. 棋社新购棋钟且高跷队更换木跷
答案与解析
正确答案：C
花生十三讲解
用翻译推理的连锁逆否。条件翻译成链条：参加高跷队→每周三傍晚练习绑腿踩街步法→无法参加周三傍晚围棋班。已知小壤驷本学期每周三傍晚都在参加围棋班，即'无法参加围棋班'被否定，从链条末端逐级'否后必否前'：能参加围棋班→不练习步法→没有参加高跷队，C正确。A与推理结果矛盾；B更换木跷、D新购棋钟都是题干之外的无据信息。确认答案为C。
原解析
连锁“参加→周三练习→无法围棋班”。每周三都在围棋班即能参加，否定末件逐级逆否：不练习、未参加高跷队。A与推理矛盾，B、D与题干不符。