「もし「シートベルトでないがしかし縦型リングである」ということは事実でないとしたら部屋でない」物はある
fact1: 仮にその昭和三十年代前半は美々しいということはないならば「それは苦悩しない」ということは成り立つ fact2: もし仮に「そのオープンソースソフトウェアは部屋であるということはないけれど成す」ということは成り立たないとするとそれは長ーい fact3: 「もしも「掬わないけど動揺し易い」ということは間違いだとすると医学生な」ものはある fact4: 「もし動脈血中でないとすると利き難くない」物はある fact5: 仮に「その昭和三十年代前半は重々しかない一方でシートベルトである」ということは成り立たないとすればそれは薬物書でない fact6: もしも「あるものは動脈血中でないけど部屋である」ということは成り立つということはないとすれば空々しいということはない fact7: もしも「その昭和三十年代前半はシートベルトでそれは縦型リングである」ということは成り立たないとするとそれは部屋でない fact8: 「もし休憩中であるなら「大王烏賊でない」ということは成り立つ」物はある fact9: 仮に「あの寄付は通関しないけれどそれは部屋だ」ということは誤りであるとするとそれは新規シンボルである fact10: もしも「その昭和三十年代前半はシートベルトでないけど縦型リングだ」ということは事実と異なるとすれば部屋でない
fact10 -> hypothesis;
fact10 -> hypothesis;
仮に「このゲノムは動脈血中でないがしかし部屋だ」ということは偽であるとすればそれは空々しかない
fact11 -> hypothesis;
$facts$ = fact1: 仮にその昭和三十年代前半は美々しいということはないならば「それは苦悩しない」ということは成り立つ fact2: もし仮に「そのオープンソースソフトウェアは部屋であるということはないけれど成す」ということは成り立たないとするとそれは長ーい fact3: 「もしも「掬わないけど動揺し易い」ということは間違いだとすると医学生な」ものはある fact4: 「もし動脈血中でないとすると利き難くない」物はある fact5: 仮に「その昭和三十年代前半は重々しかない一方でシートベルトである」ということは成り立たないとすればそれは薬物書でない fact6: もしも「あるものは動脈血中でないけど部屋である」ということは成り立つということはないとすれば空々しいということはない fact7: もしも「その昭和三十年代前半はシートベルトでそれは縦型リングである」ということは成り立たないとするとそれは部屋でない fact8: 「もし休憩中であるなら「大王烏賊でない」ということは成り立つ」物はある fact9: 仮に「あの寄付は通関しないけれどそれは部屋だ」ということは誤りであるとするとそれは新規シンボルである fact10: もしも「その昭和三十年代前半はシートベルトでないけど縦型リングだ」ということは事実と異なるとすれば部屋でない ; $hypothesis$ = 「もし「シートベルトでないがしかし縦型リングである」ということは事実でないとしたら部屋でない」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮にその昭和三十年代前半は美々しいということはないならば「それは苦悩しない」ということは成り立つ
事実2: もし仮に「そのオープンソースソフトウェアは部屋であるということはないけれど成す」ということは成り立たないとするとそれは長ーい
事実3: 「もしも「掬わないけど動揺し易い」ということは間違いだとすると医学生な」ものはある
事実4: 「もし動脈血中でないとすると利き難くない」物はある
事実5: 仮に「その昭和三十年代前半は重々しかない一方でシートベルトである」ということは成り立たないとすればそれは薬物書でない
事実6: もしも「あるものは動脈血中でないけど部屋である」ということは成り立つということはないとすれば空々しいということはない
事実7: もしも「その昭和三十年代前半はシートベルトでそれは縦型リングである」ということは成り立たないとするとそれは部屋でない
事実8: 「もし休憩中であるなら「大王烏賊でない」ということは成り立つ」物はある
事実9: 仮に「あの寄付は通関しないけれどそれは部屋だ」ということは誤りであるとするとそれは新規シンボルである
事実10: もしも「その昭和三十年代前半はシートベルトでないけど縦型リングだ」ということは事実と異なるとすれば部屋でない

仮説: 「もし「シートベルトでないがしかし縦型リングである」ということは事実でないとしたら部屋でない」物はある
1. 事実10から、仮説が導かれる

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