帰結導出プログラム

日 [きけつどうしゅつぷろぐらむ] [kiketudousyutupuroguramu]

读成：きけつどうしゅつぷろぐらむ
中文：结论找寻程式、结论找寻程序、结论寻找程序