この技術的構成は意義深くない
fact1: 「もし「このプロムナードは復元しないが決め手だ」ということは真実でないとしたら「この技術的構成は復元しない」ということは確かでない」ということは正しい fact2: もしこのプロムナードが社会内部だということはないならこの技術的構成は非専門家でない fact3: もし何らかの物は意義深いけど可笑しくないとすると社会内部でない fact4: このプロムナードは御引き取り頂かない fact5: もしもあるものは復元するとすれば「社会内部でない一方で双鐗である」ということは誤っている fact6: もし可笑しい物が意義深くないとしたらそれは社会内部でない fact7: もし仮に可笑しいものは非専門家でないならそれは意義深くない fact8: このプロムナードは社会内部でない fact9: 可笑しいものが非専門家だとすると意義深くない fact10: もし仮にこのプロムナードは可笑しくて社会内部であるとすればそれは非専門家でない fact11: もし仮に「あるものは社会内部でないがそれは双鐗だ」ということは嘘であるならばそれは社会内部である fact12: もしこのプロムナードが社会内部であるが非専門家でないならばあのＩＳＴは非専門家でない fact13: もしこのプロムナードが可笑しくないならばこの技術的構成は非専門家であるけれど社会内部でない fact14: もしこのプロムナードが社会内部でないならばあの技術的構成は可笑しい一方で非専門家でない
fact14 & fact8 -> int1: この技術的構成は可笑しいがしかし非専門家でない; fact7 -> int2: この技術的構成は可笑しいけど非専門家でないとするとそれは意義深いということはない; int1 & int2 -> hypothesis;
fact14 & fact8 -> int1: ({AA}{b} & ¬{AB}{b}); fact7 -> int2: ({AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
この技術的構成は意義深い
fact15 -> int3: もし「この技術的構成は社会内部でないけれど双鐗だ」ということは成り立たないとしたらそれは社会内部だ; fact16 -> int4: 仮にこの技術的構成は復元するとしたら「社会内部であるということはないがしかし双鐗だ」ということは成り立たない;
$facts$ = fact1: 「もし「このプロムナードは復元しないが決め手だ」ということは真実でないとしたら「この技術的構成は復元しない」ということは確かでない」ということは正しい fact2: もしこのプロムナードが社会内部だということはないならこの技術的構成は非専門家でない fact3: もし何らかの物は意義深いけど可笑しくないとすると社会内部でない fact4: このプロムナードは御引き取り頂かない fact5: もしもあるものは復元するとすれば「社会内部でない一方で双鐗である」ということは誤っている fact6: もし可笑しい物が意義深くないとしたらそれは社会内部でない fact7: もし仮に可笑しいものは非専門家でないならそれは意義深くない fact8: このプロムナードは社会内部でない fact9: 可笑しいものが非専門家だとすると意義深くない fact10: もし仮にこのプロムナードは可笑しくて社会内部であるとすればそれは非専門家でない fact11: もし仮に「あるものは社会内部でないがそれは双鐗だ」ということは嘘であるならばそれは社会内部である fact12: もしこのプロムナードが社会内部であるが非専門家でないならばあのＩＳＴは非専門家でない fact13: もしこのプロムナードが可笑しくないならばこの技術的構成は非専門家であるけれど社会内部でない fact14: もしこのプロムナードが社会内部でないならばあの技術的構成は可笑しい一方で非専門家でない ; $hypothesis$ = この技術的構成は意義深くない ; $proof$ = 
fact14 & fact8 -> int1: この技術的構成は可笑しいがしかし非専門家でない; fact7 -> int2: この技術的構成は可笑しいけど非専門家でないとするとそれは意義深いということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「もし「このプロムナードは復元しないが決め手だ」ということは真実でないとしたら「この技術的構成は復元しない」ということは確かでない」ということは正しい
事実2: もしこのプロムナードが社会内部だということはないならこの技術的構成は非専門家でない
事実3: もし何らかの物は意義深いけど可笑しくないとすると社会内部でない
事実4: このプロムナードは御引き取り頂かない
事実5: もしもあるものは復元するとすれば「社会内部でない一方で双鐗である」ということは誤っている
事実6: もし可笑しい物が意義深くないとしたらそれは社会内部でない
事実7: もし仮に可笑しいものは非専門家でないならそれは意義深くない
事実8: このプロムナードは社会内部でない
事実9: 可笑しいものが非専門家だとすると意義深くない
事実10: もし仮にこのプロムナードは可笑しくて社会内部であるとすればそれは非専門家でない
事実11: もし仮に「あるものは社会内部でないがそれは双鐗だ」ということは嘘であるならばそれは社会内部である
事実12: もしこのプロムナードが社会内部であるが非専門家でないならばあのＩＳＴは非専門家でない
事実13: もしこのプロムナードが可笑しくないならばこの技術的構成は非専門家であるけれど社会内部でない
事実14: もしこのプロムナードが社会内部でないならばあの技術的構成は可笑しい一方で非専門家でない

仮説: この技術的構成は意義深くない
1. 事実14と事実8から、推論1: "この技術的構成は可笑しいがしかし非専門家でない"が導かれる
2. 事実7から、推論2: "この技術的構成は可笑しいけど非専門家でないとするとそれは意義深いということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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