前方推論ぜんぽうすいろん<ぜん'ぽう>・すい'ろん

LogikVorwärtsinferenz