Indian logic: pramanas and anumana