あの細胞成分はＰＲＥβ‐ＨＤＬだ
fact1: もし「あの細胞成分は使い難い」ということは成り立つとするとあの条規は湿っぽい fact2: もしも「使い難いということはない」物があるとするとあの細胞成分はＰＲＥβ‐ＨＤＬである fact3: なんらかの物は湿っぽいかあるいはそれは使い難くないか両方ともだ fact4: 何らかのものは湿っぽくないかそれは使い難いかもしくは両方ともである fact5: あるものは湿っぽくないかまたは使い難くないかどちらもだ fact6: ある物が湿っぽくないかあるいは使い難くないとすればあの細胞成分はＰＲＥβ‐ＨＤＬだ
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
あの条規は湿っぽい
$facts$ = fact1: もし「あの細胞成分は使い難い」ということは成り立つとするとあの条規は湿っぽい fact2: もしも「使い難いということはない」物があるとするとあの細胞成分はＰＲＥβ‐ＨＤＬである fact3: なんらかの物は湿っぽいかあるいはそれは使い難くないか両方ともだ fact4: 何らかのものは湿っぽくないかそれは使い難いかもしくは両方ともである fact5: あるものは湿っぽくないかまたは使い難くないかどちらもだ fact6: ある物が湿っぽくないかあるいは使い難くないとすればあの細胞成分はＰＲＥβ‐ＨＤＬだ ; $hypothesis$ = あの細胞成分はＰＲＥβ‐ＨＤＬだ ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: もし「あの細胞成分は使い難い」ということは成り立つとするとあの条規は湿っぽい
事実2: もしも「使い難いということはない」物があるとするとあの細胞成分はＰＲＥβ‐ＨＤＬである
事実3: なんらかの物は湿っぽいかあるいはそれは使い難くないか両方ともだ
事実4: 何らかのものは湿っぽくないかそれは使い難いかもしくは両方ともである
事実5: あるものは湿っぽくないかまたは使い難くないかどちらもだ
事実6: ある物が湿っぽくないかあるいは使い難くないとすればあの細胞成分はＰＲＥβ‐ＨＤＬだ

仮説: あの細胞成分はＰＲＥβ‐ＨＤＬだ
1. 事実5と事実6から、仮説が導かれる

よって、仮説が証明されました。