Raciocínio indutivo no direito tributário: Inferência e suficiência probatória