「「その経済資源は登記事項証明書でないが面白おかしい」ということは誤りである」ということは事実である
fact1: あの名柄遺跡は図表化する fact2: もし「その編目構造は面白おかしい」ということは事実だとすれば「その経済資源は登記事項証明書であるししかも面白おかしい」ということは成り立つということはない fact3: もし仮にあの名柄遺跡は返杯でないとしたらそれは冷め易くないけれど図表化する fact4: あの名柄遺跡は返杯でない fact5: 「その経済資源は登記事項証明書でそれに面白おかしい」ということは嘘である fact6: もし仮にあの名柄遺跡が登記事項証明書でないならばその経済資源は登記事項証明書だということはない fact7: もしもその編目構造が冷め易くないとしたらそれは登記事項証明書でないししかもそれは面白おかしい fact8: 「あの名柄遺跡は登記事項証明書だし図表化する」ということは間違いだ fact9: 仮に何らかのものが選択出来るとすればそれは登記事項証明書でなくてそれにそれは文学性である fact10: あの名柄遺跡が箱式石棺でないとするとプランするし加えてそれは選択出来る fact11: その編目構造は面白おかしいならば「その経済資源は登記事項証明書でない一方で面白おかしい」ということは誤りである fact12: もし仮にあの名柄遺跡が返杯でないとすれば図表化する fact13: 仮にあの名柄遺跡が冷め易くないけど図表化するとしたらその編目構造は面白おかしい fact14: もしもなにがしかのものが登記事項証明書でないがしかしそれは文学性であるとすると面白おかしくない
fact3 & fact4 -> int1: あの名柄遺跡は冷め易くないけど図表化する; int1 & fact13 -> int2: その編目構造は面白おかしい; int2 & fact11 -> hypothesis;
その経済資源は登記事項証明書でない一方でそれは面白おかしい
$facts$ = fact1: あの名柄遺跡は図表化する fact2: もし「その編目構造は面白おかしい」ということは事実だとすれば「その経済資源は登記事項証明書であるししかも面白おかしい」ということは成り立つということはない fact3: もし仮にあの名柄遺跡は返杯でないとしたらそれは冷め易くないけれど図表化する fact4: あの名柄遺跡は返杯でない fact5: 「その経済資源は登記事項証明書でそれに面白おかしい」ということは嘘である fact6: もし仮にあの名柄遺跡が登記事項証明書でないならばその経済資源は登記事項証明書だということはない fact7: もしもその編目構造が冷め易くないとしたらそれは登記事項証明書でないししかもそれは面白おかしい fact8: 「あの名柄遺跡は登記事項証明書だし図表化する」ということは間違いだ fact9: 仮に何らかのものが選択出来るとすればそれは登記事項証明書でなくてそれにそれは文学性である fact10: あの名柄遺跡が箱式石棺でないとするとプランするし加えてそれは選択出来る fact11: その編目構造は面白おかしいならば「その経済資源は登記事項証明書でない一方で面白おかしい」ということは誤りである fact12: もし仮にあの名柄遺跡が返杯でないとすれば図表化する fact13: 仮にあの名柄遺跡が冷め易くないけど図表化するとしたらその編目構造は面白おかしい fact14: もしもなにがしかのものが登記事項証明書でないがしかしそれは文学性であるとすると面白おかしくない ; $hypothesis$ = 「「その経済資源は登記事項証明書でないが面白おかしい」ということは誤りである」ということは事実である ; $proof$ = 
fact3 & fact4 -> int1: あの名柄遺跡は冷め易くないけど図表化する; int1 & fact13 -> int2: その編目構造は面白おかしい; int2 & fact11 -> hypothesis; __PROVED__
事実1: あの名柄遺跡は図表化する
事実2: もし「その編目構造は面白おかしい」ということは事実だとすれば「その経済資源は登記事項証明書であるししかも面白おかしい」ということは成り立つということはない
事実3: もし仮にあの名柄遺跡は返杯でないとしたらそれは冷め易くないけれど図表化する
事実4: あの名柄遺跡は返杯でない
事実5: 「その経済資源は登記事項証明書でそれに面白おかしい」ということは嘘である
事実6: もし仮にあの名柄遺跡が登記事項証明書でないならばその経済資源は登記事項証明書だということはない
事実7: もしもその編目構造が冷め易くないとしたらそれは登記事項証明書でないししかもそれは面白おかしい
事実8: 「あの名柄遺跡は登記事項証明書だし図表化する」ということは間違いだ
事実9: 仮に何らかのものが選択出来るとすればそれは登記事項証明書でなくてそれにそれは文学性である
事実10: あの名柄遺跡が箱式石棺でないとするとプランするし加えてそれは選択出来る
事実11: その編目構造は面白おかしいならば「その経済資源は登記事項証明書でない一方で面白おかしい」ということは誤りである
事実12: もし仮にあの名柄遺跡が返杯でないとすれば図表化する
事実13: 仮にあの名柄遺跡が冷め易くないけど図表化するとしたらその編目構造は面白おかしい
事実14: もしもなにがしかのものが登記事項証明書でないがしかしそれは文学性であるとすると面白おかしくない

仮説: 「「その経済資源は登記事項証明書でないが面白おかしい」ということは誤りである」ということは事実である
1. 事実3と事実4から、推論1: "あの名柄遺跡は冷め易くないけど図表化する"が導かれる
2. 推論1と事実13から、推論2: "その編目構造は面白おかしい"が導かれる
3. 推論2と事実11から、仮説が導かれる

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