CCG統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み

富田 朝, 松原 舞, 大洞 日音, 戸次 大介