消去法で行くと杏子は無毛ということになった