その髪型は成り果てる
fact1: 「「剥き出さないしそれに待ち侘びるということはない」ということは成り立つということはない」ものはある fact2: 仮にあの哲学的問題が色好くないならばその髪型は成り果てないし書き合わない fact3: 戸籍上は色好くないし光吸収スペクトルでない fact4: 「あの哲学的問題は徒らっぽいということはない」ということは確かならそれは戸籍上だし歩き辛い fact5: もしも「「剥き出さないしそれに待ち侘びない」ということは誤りである」物があるならばあの髪型は成り果てる
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
その髪型は成り果てるということはない
fact7 -> int1: あの哲学的問題が戸籍上だとするとそれは色好くないしかつ光吸収スペクトルでない;
$facts$ = fact1: 「「剥き出さないしそれに待ち侘びるということはない」ということは成り立つということはない」ものはある fact2: 仮にあの哲学的問題が色好くないならばその髪型は成り果てないし書き合わない fact3: 戸籍上は色好くないし光吸収スペクトルでない fact4: 「あの哲学的問題は徒らっぽいということはない」ということは確かならそれは戸籍上だし歩き辛い fact5: もしも「「剥き出さないしそれに待ち侘びない」ということは誤りである」物があるならばあの髪型は成り果てる ; $hypothesis$ = その髪型は成り果てる ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: 「「剥き出さないしそれに待ち侘びるということはない」ということは成り立つということはない」ものはある
事実2: 仮にあの哲学的問題が色好くないならばその髪型は成り果てないし書き合わない
事実3: 戸籍上は色好くないし光吸収スペクトルでない
事実4: 「あの哲学的問題は徒らっぽいということはない」ということは確かならそれは戸籍上だし歩き辛い
事実5: もしも「「剥き出さないしそれに待ち侘びない」ということは誤りである」物があるならばあの髪型は成り果てる

仮説: その髪型は成り果てる
1. 事実1と事実5から、仮説が導かれる

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