Easy Chili Recipe|Pressure Cooker Quick Meal

1 lb ground beef, 20 oz of pinto beans, 1/2 tb Salt 1/2 tb pepper 1/2 tb paprika 1 tomato sauce 1/2 a tomato 1/2 onion 1/2 tb minced garlic