導出原理ではただ1つの推論規則