「仮にすげないなら「監視し易いということはないがしかしデジタル化する」ということは事実だということはない」ものはある
fact1: 「もし仮にＱＲＳ波であるとすると「「ルーティーンでない一方で微細加工技術だ」ということは本当である」ということは嘘である」ものはある fact2: 「もし半回転するとしたら「為合わなくてその上立体だ」ということは本当でない」ものはある fact3: 「すげないとすれば「監視し易くてデジタル化する」ということは偽な」物はある fact4: もし「その消音器は単複である」ということは成り立つとしたら「それはたわいなくないし監視し易い」ということは間違いである fact5: もし仮にその六十年代後半は監視し易いとすれば「「打ち難くないけど山深い」ということは確かである」ということは間違っている fact6: もしも何らかの物は震え始めるとしたら「それはすげなくないがしかし貰う」ということは成り立たない fact7: もしもその消音器はすげないなら「それは監視し易くてそれにデジタル化する」ということは成り立たない fact8: もしもその消音器がすげないならば監視し易いということはないしデジタル化する fact9: もしもこの無駄骨は真菌感染ならば「それは繰り返し行かない一方で父親らしい」ということは成り立たない fact10: この王室は女の子らしいとすると「甘過ぎるということはないし灯し難い」ということは間違っている fact11: もし仮にあるものは御入りであるとすれば「「ルーターでないがしかし使い続ける」ということは正しい」ということは正しくない fact12: もしもあの総監は表敬であるとすると「暑くないけれどすげない」ということは間違っている fact13: 「仮に「立体である」ということは確かであるならば「尽力しなくてそれに先細りだ」ということは偽である」物はある fact14: 「もし買い続けるとすると「みっとも可愛くないしおまけにＱＲＳ波だ」ということは間違っている」物はある fact15: 「もしも括り方だとしたら「Ｂ六判でないし更に一週間する」ということは誤りである」物はある fact16: 「仮に「身体言語だ」ということは間違いでないなら「「悪戯っぽいということはないし灯し難い」ということは成り立つ」ということは成り立たない」物はある fact17: 「すげないなら「監視し易くないし更にデジタル化する」ということは成り立つ」物はある fact18: もしも「その消音器はすげない」ということは確かであるならば「それは監視し易くない一方でデジタル化する」ということは間違いである fact19: もし仮にその分割型分割はデジタル化するとしたら「それは震え始めなくて加えて分析である」ということは成り立つということはない fact20: 「仮に所属すれば「対外開放でないけど思い易い」ということは成り立たない」ものはある fact21: 「もし仮に煙たいとしたら「入れ溶かさない一方で弘通する」ということは成り立つということはない」物はある
fact18 -> hypothesis;
あの万葉人は御入りであるとしたら「ルーターでないし加えてそれは使い続ける」ということは偽である
fact22 -> hypothesis;
$facts$ = fact1: 「もし仮にＱＲＳ波であるとすると「「ルーティーンでない一方で微細加工技術だ」ということは本当である」ということは嘘である」ものはある fact2: 「もし半回転するとしたら「為合わなくてその上立体だ」ということは本当でない」ものはある fact3: 「すげないとすれば「監視し易くてデジタル化する」ということは偽な」物はある fact4: もし「その消音器は単複である」ということは成り立つとしたら「それはたわいなくないし監視し易い」ということは間違いである fact5: もし仮にその六十年代後半は監視し易いとすれば「「打ち難くないけど山深い」ということは確かである」ということは間違っている fact6: もしも何らかの物は震え始めるとしたら「それはすげなくないがしかし貰う」ということは成り立たない fact7: もしもその消音器はすげないなら「それは監視し易くてそれにデジタル化する」ということは成り立たない fact8: もしもその消音器がすげないならば監視し易いということはないしデジタル化する fact9: もしもこの無駄骨は真菌感染ならば「それは繰り返し行かない一方で父親らしい」ということは成り立たない fact10: この王室は女の子らしいとすると「甘過ぎるということはないし灯し難い」ということは間違っている fact11: もし仮にあるものは御入りであるとすれば「「ルーターでないがしかし使い続ける」ということは正しい」ということは正しくない fact12: もしもあの総監は表敬であるとすると「暑くないけれどすげない」ということは間違っている fact13: 「仮に「立体である」ということは確かであるならば「尽力しなくてそれに先細りだ」ということは偽である」物はある fact14: 「もし買い続けるとすると「みっとも可愛くないしおまけにＱＲＳ波だ」ということは間違っている」物はある fact15: 「もしも括り方だとしたら「Ｂ六判でないし更に一週間する」ということは誤りである」物はある fact16: 「仮に「身体言語だ」ということは間違いでないなら「「悪戯っぽいということはないし灯し難い」ということは成り立つ」ということは成り立たない」物はある fact17: 「すげないなら「監視し易くないし更にデジタル化する」ということは成り立つ」物はある fact18: もしも「その消音器はすげない」ということは確かであるならば「それは監視し易くない一方でデジタル化する」ということは間違いである fact19: もし仮にその分割型分割はデジタル化するとしたら「それは震え始めなくて加えて分析である」ということは成り立つということはない fact20: 「仮に所属すれば「対外開放でないけど思い易い」ということは成り立たない」ものはある fact21: 「もし仮に煙たいとしたら「入れ溶かさない一方で弘通する」ということは成り立つということはない」物はある ; $hypothesis$ = 「仮にすげないなら「監視し易いということはないがしかしデジタル化する」ということは事実だということはない」ものはある ; $proof$ = 
fact18 -> hypothesis; __PROVED__
事実1: 「もし仮にＱＲＳ波であるとすると「「ルーティーンでない一方で微細加工技術だ」ということは本当である」ということは嘘である」ものはある
事実2: 「もし半回転するとしたら「為合わなくてその上立体だ」ということは本当でない」ものはある
事実3: 「すげないとすれば「監視し易くてデジタル化する」ということは偽な」物はある
事実4: もし「その消音器は単複である」ということは成り立つとしたら「それはたわいなくないし監視し易い」ということは間違いである
事実5: もし仮にその六十年代後半は監視し易いとすれば「「打ち難くないけど山深い」ということは確かである」ということは間違っている
事実6: もしも何らかの物は震え始めるとしたら「それはすげなくないがしかし貰う」ということは成り立たない
事実7: もしもその消音器はすげないなら「それは監視し易くてそれにデジタル化する」ということは成り立たない
事実8: もしもその消音器がすげないならば監視し易いということはないしデジタル化する
事実9: もしもこの無駄骨は真菌感染ならば「それは繰り返し行かない一方で父親らしい」ということは成り立たない
事実10: この王室は女の子らしいとすると「甘過ぎるということはないし灯し難い」ということは間違っている
事実11: もし仮にあるものは御入りであるとすれば「「ルーターでないがしかし使い続ける」ということは正しい」ということは正しくない
事実12: もしもあの総監は表敬であるとすると「暑くないけれどすげない」ということは間違っている
事実13: 「仮に「立体である」ということは確かであるならば「尽力しなくてそれに先細りだ」ということは偽である」物はある
事実14: 「もし買い続けるとすると「みっとも可愛くないしおまけにＱＲＳ波だ」ということは間違っている」物はある
事実15: 「もしも括り方だとしたら「Ｂ六判でないし更に一週間する」ということは誤りである」物はある
事実16: 「仮に「身体言語だ」ということは間違いでないなら「「悪戯っぽいということはないし灯し難い」ということは成り立つ」ということは成り立たない」物はある
事実17: 「すげないなら「監視し易くないし更にデジタル化する」ということは成り立つ」物はある
事実18: もしも「その消音器はすげない」ということは確かであるならば「それは監視し易くない一方でデジタル化する」ということは間違いである
事実19: もし仮にその分割型分割はデジタル化するとしたら「それは震え始めなくて加えて分析である」ということは成り立つということはない
事実20: 「仮に所属すれば「対外開放でないけど思い易い」ということは成り立たない」ものはある
事実21: 「もし仮に煙たいとしたら「入れ溶かさない一方で弘通する」ということは成り立つということはない」物はある

仮説: 「仮にすげないなら「監視し易いということはないがしかしデジタル化する」ということは事実だということはない」ものはある
1. 事実18から、仮説が導かれる

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