「もしも口外出来れば短くないか凄い」物はある
fact1: この魚料理は凄くないか社会主義的協同組合農業であるかまたはどちらもである fact2: もしなにがしかのものがパックエージでないとすればそれは短くないかあるいは凄いかまたはどちらもである fact3: もしもこの取り調べ自体が口外出来るとしたらそれは短いかあるいは凄い fact4: この取り調べ自体ははしたないかあるいはパックエージであるかまたは両方ともである fact5: 「マクロウイルスだとすれば水車精米でないかまたは冷め易いかあるいはどちらもである」物はある fact6: 仮にある物は麻酔するとしたら「それは生易しい」ということは正しい fact7: もし仮に「短い」物はあるとしたら「この当該配当等は幻視だけど短くない」ということは成り立たない fact8: あの大通り寺は短い fact9: この当該配当等が口外出来ないならその茶飯はパックエージでないし凄くない fact10: なにかはスチール・エポキシ粉体塗装でないかもしくはパックエージでないかまたはどちらもであるとしたら「スチール・エポキシ粉体塗装であるということはない」ということは事実だ fact11: なにかはパックエージだとすると口外出来ない fact12: 仮に「パックエージでない」ものがあるとしたらこの取り調べ自体はスチール・エポキシ粉体塗装でないかそれはパックエージでない
fact11 -> int1: もし仮にこの取り調べ自体がパックエージなら口外出来ない; void -> assump1: 以下のように仮定する。この取り調べ自体はパックエージである; int1 & assump1 -> int2: この取り調べ自体は口外出来ない; void -> assump2: 以下のように仮定する。この取り調べ自体は口外出来る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り調べ自体はパックエージでない; fact2 -> int5: 仮にこの取り調べ自体はパックエージでないとすると短くないかまたは凄いかあるいは両方である; int4 & int5 -> int6: この取り調べ自体は短くないか凄いかまたは両方ともである; [assump2] & int6 -> int7: もしこの取り調べ自体が口外出来ればそれは短くないかあるいは凄い; int7 -> hypothesis;
この取り調べ自体はスチール・エポキシ粉体塗装でない
fact17 -> int8: もし仮にこの取り調べ自体がスチール・エポキシ粉体塗装でないかもしくはそれはパックエージでないとしたら「それはスチール・エポキシ粉体塗装でない」ということは成り立つ; fact16 -> int9: 「短い」物はある; int9 & fact14 -> int10: 「この当該配当等は幻視であるが短くない」ということは誤りである;
$facts$ = fact1: この魚料理は凄くないか社会主義的協同組合農業であるかまたはどちらもである fact2: もしなにがしかのものがパックエージでないとすればそれは短くないかあるいは凄いかまたはどちらもである fact3: もしもこの取り調べ自体が口外出来るとしたらそれは短いかあるいは凄い fact4: この取り調べ自体ははしたないかあるいはパックエージであるかまたは両方ともである fact5: 「マクロウイルスだとすれば水車精米でないかまたは冷め易いかあるいはどちらもである」物はある fact6: 仮にある物は麻酔するとしたら「それは生易しい」ということは正しい fact7: もし仮に「短い」物はあるとしたら「この当該配当等は幻視だけど短くない」ということは成り立たない fact8: あの大通り寺は短い fact9: この当該配当等が口外出来ないならその茶飯はパックエージでないし凄くない fact10: なにかはスチール・エポキシ粉体塗装でないかもしくはパックエージでないかまたはどちらもであるとしたら「スチール・エポキシ粉体塗装であるということはない」ということは事実だ fact11: なにかはパックエージだとすると口外出来ない fact12: 仮に「パックエージでない」ものがあるとしたらこの取り調べ自体はスチール・エポキシ粉体塗装でないかそれはパックエージでない ; $hypothesis$ = 「もしも口外出来れば短くないか凄い」物はある ; $proof$ = 
fact11 -> int1: もし仮にこの取り調べ自体がパックエージなら口外出来ない; void -> assump1: 以下のように仮定する。この取り調べ自体はパックエージである; int1 & assump1 -> int2: この取り調べ自体は口外出来ない; void -> assump2: 以下のように仮定する。この取り調べ自体は口外出来る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この取り調べ自体はパックエージでない; fact2 -> int5: 仮にこの取り調べ自体はパックエージでないとすると短くないかまたは凄いかあるいは両方である; int4 & int5 -> int6: この取り調べ自体は短くないか凄いかまたは両方ともである; [assump2] & int6 -> int7: もしこの取り調べ自体が口外出来ればそれは短くないかあるいは凄い; int7 -> hypothesis; __PROVED__
事実1: この魚料理は凄くないか社会主義的協同組合農業であるかまたはどちらもである
事実2: もしなにがしかのものがパックエージでないとすればそれは短くないかあるいは凄いかまたはどちらもである
事実3: もしもこの取り調べ自体が口外出来るとしたらそれは短いかあるいは凄い
事実4: この取り調べ自体ははしたないかあるいはパックエージであるかまたは両方ともである
事実5: 「マクロウイルスだとすれば水車精米でないかまたは冷め易いかあるいはどちらもである」物はある
事実6: 仮にある物は麻酔するとしたら「それは生易しい」ということは正しい
事実7: もし仮に「短い」物はあるとしたら「この当該配当等は幻視だけど短くない」ということは成り立たない
事実8: あの大通り寺は短い
事実9: この当該配当等が口外出来ないならその茶飯はパックエージでないし凄くない
事実10: なにかはスチール・エポキシ粉体塗装でないかもしくはパックエージでないかまたはどちらもであるとしたら「スチール・エポキシ粉体塗装であるということはない」ということは事実だ
事実11: なにかはパックエージだとすると口外出来ない
事実12: 仮に「パックエージでない」ものがあるとしたらこの取り調べ自体はスチール・エポキシ粉体塗装でないかそれはパックエージでない

仮説: 「もしも口外出来れば短くないか凄い」物はある
1. 事実11から、推論1: "もし仮にこの取り調べ自体がパックエージなら口外出来ない"が導かれる
2. 仮定1: 以下のように仮定する。この取り調べ自体はパックエージである
3. 推論1と仮定1から、推論2: "この取り調べ自体は口外出来ない"が導かれる
4. 仮定2: 以下のように仮定する。この取り調べ自体は口外出来る
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この取り調べ自体はパックエージでない"が導かれる
7. 事実2から、推論5: "仮にこの取り調べ自体はパックエージでないとすると短くないかまたは凄いかあるいは両方である"が導かれる
8. 推論4と推論5から、推論6: "この取り調べ自体は短くないか凄いかまたは両方ともである"が導かれる
9. [仮定2]と推論6から、推論7: "もしこの取り調べ自体が口外出来ればそれは短くないかあるいは凄い"が導かれる
10. 推論7から、仮説が導かれる

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