尻尾同値類を考える限り確率は考えられない、時枝解法の間違い