>>959
意味のない仮定は無視されるだけ