Vegetarian Chili | nicktech.org

Ingredients

• 1 tablespoon olive oil
• 1 medium white or yellow onion (peeled and diced)
• 1 medium red bell pepper (cored and diced)
• 4 cloves garlic (peeled and minced)
• 3 cups vegetable stock
• 1 can fire-roasted diced tomatoes (15oz)
• 1 can dark red kidney beans (rinsed and drained)
• 1 cup lentils (uncooked, picked over and rinsed)
• 1 tablespoon chili powder
• 1 teaspoon smoked paprika
• 1 teaspoon cumin
• sea salt (to taste)
• black pepper (to taste)
• cilantro (fresh, chopped for topping)
• tortilla chips (crushed, for topping)
• shredded chedder (for topping)