「もしも賑々しくないならば打ち下ろすがしかし考案しない」ものはある
fact1: 「賑々しくないとしたら考案しない」ものはある fact2: 仮になにがしかのものが思い悩まないなら四．五．三項でそれは抗い難くない fact3: 「助数詞であるということはないとすれば甘ったるいが医療等でない」物はある fact4: 「仮に「賑々しくない」ということは事実であるとすると打ち下ろす」ものはある fact5: もしあの社会権法理が賑々しいということはないとしたらそれは打ち下ろすしそれにそれは考案しない fact6: もしも「あの社会権法理は賑々しい」ということは事実であるとするとそれは打ち下ろすけど考案しない fact7: もしもあの社会権法理が賑々しくないとしたら考案するということはない fact8: 「仮に賑々しいなら打ち下ろすしそれに考案するということはない」物はある fact9: 「仮に賑々しいということはないならば打ち下ろすし考案する」ものはある
fact5 -> hypothesis;
「仮に「思い悩まない」ということは真実であるとしたら四．五．三項だしかつ抗い難くない」ものはある
fact10 -> int1: あの六十女が思い悩まないとすれば四．五．三項であるしそれにそれは抗い難くない; int1 -> hypothesis;
$facts$ = fact1: 「賑々しくないとしたら考案しない」ものはある fact2: 仮になにがしかのものが思い悩まないなら四．五．三項でそれは抗い難くない fact3: 「助数詞であるということはないとすれば甘ったるいが医療等でない」物はある fact4: 「仮に「賑々しくない」ということは事実であるとすると打ち下ろす」ものはある fact5: もしあの社会権法理が賑々しいということはないとしたらそれは打ち下ろすしそれにそれは考案しない fact6: もしも「あの社会権法理は賑々しい」ということは事実であるとするとそれは打ち下ろすけど考案しない fact7: もしもあの社会権法理が賑々しくないとしたら考案するということはない fact8: 「仮に賑々しいなら打ち下ろすしそれに考案するということはない」物はある fact9: 「仮に賑々しいということはないならば打ち下ろすし考案する」ものはある ; $hypothesis$ = 「もしも賑々しくないならば打ち下ろすがしかし考案しない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「賑々しくないとしたら考案しない」ものはある
事実2: 仮になにがしかのものが思い悩まないなら四．五．三項でそれは抗い難くない
事実3: 「助数詞であるということはないとすれば甘ったるいが医療等でない」物はある
事実4: 「仮に「賑々しくない」ということは事実であるとすると打ち下ろす」ものはある
事実5: もしあの社会権法理が賑々しいということはないとしたらそれは打ち下ろすしそれにそれは考案しない
事実6: もしも「あの社会権法理は賑々しい」ということは事実であるとするとそれは打ち下ろすけど考案しない
事実7: もしもあの社会権法理が賑々しくないとしたら考案するということはない
事実8: 「仮に賑々しいなら打ち下ろすしそれに考案するということはない」物はある
事実9: 「仮に賑々しいということはないならば打ち下ろすし考案する」ものはある

仮説: 「もしも賑々しくないならば打ち下ろすがしかし考案しない」ものはある
1. 事実5から、仮説が導かれる

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