あの五時頃は圧縮出来ない
fact1: 融通するしまたテクノニヒリズムであるという物はない fact2: 切り裂くしその上電話加入権でないというものはない fact3: もしもとある物がテクノニヒリズムならば圧縮出来ない fact4: 「何らかのものは融通するけどテクノニヒリズムでない」ということは成り立たないとしたら圧縮出来ない fact5: 「あの五時頃は融通するがしかしらりるない」ということは真実でない fact6: 「あの五時頃は融通するしまたそれはテクノニヒリズムである」ということは間違いである fact7: 融通するけれどテクノニヒリズムでないという物はない fact8: もし「あの五時頃はテクノニヒリズムである」ということは本当であるとすると圧縮出来るということはない fact9: すべては竪穴でないけど入れ過ぎる
fact4 -> int1: もし「「あの五時頃は融通するけどテクノニヒリズムでない」ということは成り立たない」ということは成り立つとしたらそれは圧縮出来るということはない; fact7 -> int2: 「あの五時頃は融通するがそれはテクノニヒリズムでない」ということは成り立つということはない; int1 & int2 -> hypothesis;
あの五時頃は圧縮出来る
fact10 -> int3: この間人は竪穴でないが入れ過ぎる; int3 -> int4: この間人は竪穴でない;
$facts$ = fact1: 融通するしまたテクノニヒリズムであるという物はない fact2: 切り裂くしその上電話加入権でないというものはない fact3: もしもとある物がテクノニヒリズムならば圧縮出来ない fact4: 「何らかのものは融通するけどテクノニヒリズムでない」ということは成り立たないとしたら圧縮出来ない fact5: 「あの五時頃は融通するがしかしらりるない」ということは真実でない fact6: 「あの五時頃は融通するしまたそれはテクノニヒリズムである」ということは間違いである fact7: 融通するけれどテクノニヒリズムでないという物はない fact8: もし「あの五時頃はテクノニヒリズムである」ということは本当であるとすると圧縮出来るということはない fact9: すべては竪穴でないけど入れ過ぎる ; $hypothesis$ = あの五時頃は圧縮出来ない ; $proof$ = 
fact4 -> int1: もし「「あの五時頃は融通するけどテクノニヒリズムでない」ということは成り立たない」ということは成り立つとしたらそれは圧縮出来るということはない; fact7 -> int2: 「あの五時頃は融通するがそれはテクノニヒリズムでない」ということは成り立つということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 融通するしまたテクノニヒリズムであるという物はない
事実2: 切り裂くしその上電話加入権でないというものはない
事実3: もしもとある物がテクノニヒリズムならば圧縮出来ない
事実4: 「何らかのものは融通するけどテクノニヒリズムでない」ということは成り立たないとしたら圧縮出来ない
事実5: 「あの五時頃は融通するがしかしらりるない」ということは真実でない
事実6: 「あの五時頃は融通するしまたそれはテクノニヒリズムである」ということは間違いである
事実7: 融通するけれどテクノニヒリズムでないという物はない
事実8: もし「あの五時頃はテクノニヒリズムである」ということは本当であるとすると圧縮出来るということはない
事実9: すべては竪穴でないけど入れ過ぎる

仮説: あの五時頃は圧縮出来ない
1. 事実4から、推論1: "もし「「あの五時頃は融通するけどテクノニヒリズムでない」ということは成り立たない」ということは成り立つとしたらそれは圧縮出来るということはない"が導かれる
2. 事実7から、推論2: "「あの五時頃は融通するがそれはテクノニヒリズムでない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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