ある推論システムは，演繹推論，帰納推論，仮説形成などの推論を実行できる。この推論システムへの入力と得られた出力に関する記述のうち，演繹推論を…