Solution Proposal for 5 Challenges to be Resolved in Formalizing the Logical Format of Kampo-Based Diagnosis by Building Consensus Among 6 Medical Institutions Specialized in Kampo Herbal Medicine