「あるものは市場機能だ」ということは成り立つということはない
fact1: 「あの情交は通り難い」ということは事実だ fact2: あの限局性は加工し易くない fact3: もしもあの限局性は加工し易くないとすると「情け深いということはないけれど著しい」ということは成り立たない fact4: もし仮に「あの限局性は情け深くないけれど著しい」ということは成り立つということはないとするとこの再生手続き開始前は長生きする fact5: あの占地は通り難い fact6: この再生手続き開始前が長生きするし恵み深いならこの当該執行機関は財市場でない fact7: 「通り難くない」物があるならそのＳＳＬプロトコルは妬ましくて更に起こし始める fact8: あの占地は通り難いししかも市場機能だ fact9: 仮にこの当該執行機関がどうしても欲しいならあの占地は市場機能でないがしかしそれは両地域だ fact10: 仮に何らかの物が市場機能でないけどそれが両地域だとするとそれは通り難いということはない fact11: 儚い物はどうしても欲しい fact12: もし仮に何かは財市場でないとしたら儚いしそれに潔しない
fact8 -> int1: あの占地は市場機能である; int1 -> hypothesis;
そのＳＳＬプロトコルは妬ましくて起こし始める
fact17 -> int2: もしもあの占地は市場機能でないが両地域であるなら通り難くない; fact13 -> int3: もしもこの当該執行機関が儚いならばそれはどうしても欲しい; fact14 -> int4: 仮にこの当該執行機関は財市場でないとすると「儚いけど潔しない」ということは事実である; fact15 & fact16 -> int5: 「あの限局性は情け深いということはないけれど著しい」ということは成り立たない; fact18 & int5 -> int6: この再生手続き開始前は長生きする;
$facts$ = fact1: 「あの情交は通り難い」ということは事実だ fact2: あの限局性は加工し易くない fact3: もしもあの限局性は加工し易くないとすると「情け深いということはないけれど著しい」ということは成り立たない fact4: もし仮に「あの限局性は情け深くないけれど著しい」ということは成り立つということはないとするとこの再生手続き開始前は長生きする fact5: あの占地は通り難い fact6: この再生手続き開始前が長生きするし恵み深いならこの当該執行機関は財市場でない fact7: 「通り難くない」物があるならそのＳＳＬプロトコルは妬ましくて更に起こし始める fact8: あの占地は通り難いししかも市場機能だ fact9: 仮にこの当該執行機関がどうしても欲しいならあの占地は市場機能でないがしかしそれは両地域だ fact10: 仮に何らかの物が市場機能でないけどそれが両地域だとするとそれは通り難いということはない fact11: 儚い物はどうしても欲しい fact12: もし仮に何かは財市場でないとしたら儚いしそれに潔しない ; $hypothesis$ = 「あるものは市場機能だ」ということは成り立つということはない ; $proof$ = 
fact8 -> int1: あの占地は市場機能である; int1 -> hypothesis; __DISPROVED__
事実1: 「あの情交は通り難い」ということは事実だ
事実2: あの限局性は加工し易くない
事実3: もしもあの限局性は加工し易くないとすると「情け深いということはないけれど著しい」ということは成り立たない
事実4: もし仮に「あの限局性は情け深くないけれど著しい」ということは成り立つということはないとするとこの再生手続き開始前は長生きする
事実5: あの占地は通り難い
事実6: この再生手続き開始前が長生きするし恵み深いならこの当該執行機関は財市場でない
事実7: 「通り難くない」物があるならそのＳＳＬプロトコルは妬ましくて更に起こし始める
事実8: あの占地は通り難いししかも市場機能だ
事実9: 仮にこの当該執行機関がどうしても欲しいならあの占地は市場機能でないがしかしそれは両地域だ
事実10: 仮に何らかの物が市場機能でないけどそれが両地域だとするとそれは通り難いということはない
事実11: 儚い物はどうしても欲しい
事実12: もし仮に何かは財市場でないとしたら儚いしそれに潔しない

仮説: 「あるものは市場機能だ」ということは成り立つということはない
1. 事実8から、推論1: "あの占地は市場機能である"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。