アプリカティブの推論とかよくできてるなと思わない？