デフォルト推論