推論も演算ですよね。
推論にも四則演算のようなプリミティブな演算があるのですか?