「もし仮に煩わしくないとすると「攻めるし更に梳き込む」ということは偽な」物はある
fact1: 「もし拭き終わらないなら「御過ごし下さるし加えてギタリスト達だ」ということは誤りである」ものはある fact2: 仮にあのＫ氏は煩わしいということはないならば「それは攻めるし加えて梳き込む」ということは本当だということはない fact3: もし仮にあのＫ氏が煩わしいということはないとすると攻めるしその上それは梳き込む fact4: 「「もしも煩わしくないとしたら攻めるし更に梳き込む」ものはある」ということは事実である fact5: 「拙くないとしたら「ばたばたするしそれに身動きする」ということは本当でない」ものはある fact6: あのＫ氏は煩わしいならば「それが攻めるしその上それは梳き込む」ということは成り立たない fact7: もし何らかの物は生成し易くないとしたら「それは小暗いしかつ貸し付ける」ということは間違っている fact8: 「仮に「慌てる」ということは事実であるとしたら「惨たらしくてレイアウトする」ということは成り立たない」ものはある
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし「生成し易くない」ということは成り立つとすれば「小暗いししかも貸し付ける」ということは誤りである」ものはある
fact9 -> int1: もしこの孑孑は生成し易くないとすると「小暗いしまた貸し付ける」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: 「もし拭き終わらないなら「御過ごし下さるし加えてギタリスト達だ」ということは誤りである」ものはある fact2: 仮にあのＫ氏は煩わしいということはないならば「それは攻めるし加えて梳き込む」ということは本当だということはない fact3: もし仮にあのＫ氏が煩わしいということはないとすると攻めるしその上それは梳き込む fact4: 「「もしも煩わしくないとしたら攻めるし更に梳き込む」ものはある」ということは事実である fact5: 「拙くないとしたら「ばたばたするしそれに身動きする」ということは本当でない」ものはある fact6: あのＫ氏は煩わしいならば「それが攻めるしその上それは梳き込む」ということは成り立たない fact7: もし何らかの物は生成し易くないとしたら「それは小暗いしかつ貸し付ける」ということは間違っている fact8: 「仮に「慌てる」ということは事実であるとしたら「惨たらしくてレイアウトする」ということは成り立たない」ものはある ; $hypothesis$ = 「もし仮に煩わしくないとすると「攻めるし更に梳き込む」ということは偽な」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし拭き終わらないなら「御過ごし下さるし加えてギタリスト達だ」ということは誤りである」ものはある
事実2: 仮にあのＫ氏は煩わしいということはないならば「それは攻めるし加えて梳き込む」ということは本当だということはない
事実3: もし仮にあのＫ氏が煩わしいということはないとすると攻めるしその上それは梳き込む
事実4: 「「もしも煩わしくないとしたら攻めるし更に梳き込む」ものはある」ということは事実である
事実5: 「拙くないとしたら「ばたばたするしそれに身動きする」ということは本当でない」ものはある
事実6: あのＫ氏は煩わしいならば「それが攻めるしその上それは梳き込む」ということは成り立たない
事実7: もし何らかの物は生成し易くないとしたら「それは小暗いしかつ貸し付ける」ということは間違っている
事実8: 「仮に「慌てる」ということは事実であるとしたら「惨たらしくてレイアウトする」ということは成り立たない」ものはある

仮説: 「もし仮に煩わしくないとすると「攻めるし更に梳き込む」ということは偽な」物はある
1. 事実2から、仮説が導かれる

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