このフリーメーソンは長ったらしくない
fact1: 仮になにかは睦まじいということはないとすると「それは長ったらしい」ということは確かだ fact2: 仮になにかは極まり悪くないならば「居る居ないかまたはそれはぼろいかまたはどちらもである」ということは成り立たない fact3: 仮にこの山火事が居る居ないならばぼろい fact4: もしこの山火事が睦まじくないけどぼろいならばあのフリーメーソンは長ったらしくない fact5: もし「とあるものは這い蹲らないがしかし禍々しい」ということは偽だとすると居る居ない fact6: 仮にこの予算書が誘引するということはないかまたは有り難しないとしたらその肝炎ウイルスは誘引しない fact7: 「この山火事は這い蹲らないけどそれは禍々しい」ということは嘘だ fact8: もしも「「その肝炎ウイルスは多給するしおまけに確からしい」ということは正しくない」ということは成り立つとすればこのラは極まり悪くない fact9: 「この山火事が禍々しかないならこの山火事は居る居るということはない」ということは成り立つ fact10: もし仮にある物は誘引するということはないとしたら「それは多給するし確からしい」ということは成り立たない fact11: もし「この予算書は分かり易くない」ということは成り立つとするとそれは誘引しないかもしくはそれは有り難しない fact12: この山火事はぼろい fact13: もし仮になんらかの物が居る居るということはないならばそれは睦まじくない一方でぼろい
fact5 -> int1: 「仮に「この山火事は這い蹲らない一方でそれは禍々しい」ということは成り立たないならこの山火事は居る居ない」ということは真実だ; int1 & fact7 -> int2: この山火事は居る居るということはない; fact13 -> int3: もしもこの山火事が居る居るということはないとすれば睦まじいということはないしそれはぼろい; int2 & int3 -> int4: この山火事は睦まじいということはないがしかしぼろい; int4 & fact4 -> hypothesis;
このフリーメーソンは長ったらしい
fact17 -> int5: 仮にこのフリーメーソンが睦まじくないならばそれは長ったらしい; fact15 -> int6: もしも「このラは極まり悪くない」ということは真実なら「それは居る居ないかぼろいかまたは両方だ」ということは偽だ; fact18 -> int7: 仮にその肝炎ウイルスは誘引しないなら「それは多給するしかつ確からしい」ということは成り立たない;
$facts$ = fact1: 仮になにかは睦まじいということはないとすると「それは長ったらしい」ということは確かだ fact2: 仮になにかは極まり悪くないならば「居る居ないかまたはそれはぼろいかまたはどちらもである」ということは成り立たない fact3: 仮にこの山火事が居る居ないならばぼろい fact4: もしこの山火事が睦まじくないけどぼろいならばあのフリーメーソンは長ったらしくない fact5: もし「とあるものは這い蹲らないがしかし禍々しい」ということは偽だとすると居る居ない fact6: 仮にこの予算書が誘引するということはないかまたは有り難しないとしたらその肝炎ウイルスは誘引しない fact7: 「この山火事は這い蹲らないけどそれは禍々しい」ということは嘘だ fact8: もしも「「その肝炎ウイルスは多給するしおまけに確からしい」ということは正しくない」ということは成り立つとすればこのラは極まり悪くない fact9: 「この山火事が禍々しかないならこの山火事は居る居るということはない」ということは成り立つ fact10: もし仮にある物は誘引するということはないとしたら「それは多給するし確からしい」ということは成り立たない fact11: もし「この予算書は分かり易くない」ということは成り立つとするとそれは誘引しないかもしくはそれは有り難しない fact12: この山火事はぼろい fact13: もし仮になんらかの物が居る居るということはないならばそれは睦まじくない一方でぼろい ; $hypothesis$ = このフリーメーソンは長ったらしくない ; $proof$ = 
fact5 -> int1: 「仮に「この山火事は這い蹲らない一方でそれは禍々しい」ということは成り立たないならこの山火事は居る居ない」ということは真実だ; int1 & fact7 -> int2: この山火事は居る居るということはない; fact13 -> int3: もしもこの山火事が居る居るということはないとすれば睦まじいということはないしそれはぼろい; int2 & int3 -> int4: この山火事は睦まじいということはないがしかしぼろい; int4 & fact4 -> hypothesis; __PROVED__
事実1: 仮になにかは睦まじいということはないとすると「それは長ったらしい」ということは確かだ
事実2: 仮になにかは極まり悪くないならば「居る居ないかまたはそれはぼろいかまたはどちらもである」ということは成り立たない
事実3: 仮にこの山火事が居る居ないならばぼろい
事実4: もしこの山火事が睦まじくないけどぼろいならばあのフリーメーソンは長ったらしくない
事実5: もし「とあるものは這い蹲らないがしかし禍々しい」ということは偽だとすると居る居ない
事実6: 仮にこの予算書が誘引するということはないかまたは有り難しないとしたらその肝炎ウイルスは誘引しない
事実7: 「この山火事は這い蹲らないけどそれは禍々しい」ということは嘘だ
事実8: もしも「「その肝炎ウイルスは多給するしおまけに確からしい」ということは正しくない」ということは成り立つとすればこのラは極まり悪くない
事実9: 「この山火事が禍々しかないならこの山火事は居る居るということはない」ということは成り立つ
事実10: もし仮にある物は誘引するということはないとしたら「それは多給するし確からしい」ということは成り立たない
事実11: もし「この予算書は分かり易くない」ということは成り立つとするとそれは誘引しないかもしくはそれは有り難しない
事実12: この山火事はぼろい
事実13: もし仮になんらかの物が居る居るということはないならばそれは睦まじくない一方でぼろい

仮説: このフリーメーソンは長ったらしくない
1. 事実5から、推論1: "「仮に「この山火事は這い蹲らない一方でそれは禍々しい」ということは成り立たないならこの山火事は居る居ない」ということは真実だ"が導かれる
2. 推論1と事実7から、推論2: "この山火事は居る居るということはない"が導かれる
3. 事実13から、推論3: "もしもこの山火事が居る居るということはないとすれば睦まじいということはないしそれはぼろい"が導かれる
4. 推論2と推論3から、推論4: "この山火事は睦まじいということはないがしかしぼろい"が導かれる
5. 推論4と事実4から、仮説が導かれる

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