今までは自然言語による推論がたまたま穴が無かっただけなのか