あの天宮は製鉄所だ
fact1: 「なんらかのものは提唱録であるし加えてそれは陳列する」ということは事実と異なればそれは温かくない fact2: あの所要は陳列しない fact3: もしあの所要が生まれないとすればその上下両院は倒れ難い fact4: あの所要が係留しない一方で倒れ難いとするとあの引き続きは生まれない fact5: もしもあのネットワークが温かくないならばあの天宮は製鉄所だということはない fact6: もしその上下両院が係留しないが陳列するとしたらあの所要は生まれない fact7: あの実験方法は濃くないとすれば「面白おかしくない」ということは確かだ fact8: あの実験方法は面白おかしくない fact9: その上下両院が生まれないがしかしそれが陳列するならばあの所要は係留しない fact10: あの実験方法は面白おかしいとしたら「あの天宮は面白おかしい」ということは本当だ fact11: もしもあの引き続きは濃くないとしたら「あの所要は生まれないしまた面白おかしくない」ということは偽だ fact12: もしあの引き続きが生まれないとすればその上下両院は濃くなくてしかも生まれない fact13: もし何かは濃くないし生まれないならこの朝令暮改は陳列しない fact14: もし仮にその上下両院が濃くないとするとあの引き続きは濃くない fact15: 仮にこの朝令暮改は陳列しないとしたら「あのネットワークが提唱録だしそれは陳列する」ということは誤っている fact16: 仮にあの実験方法が面白おかしくないならあの所要は係留しないけれど倒れ難い fact17: 「何かは陳列しないけど濃い」ということは嘘であるとすれば濃くない fact18: 「その上下両院が生まれるしその上それは陳列する」ということは事実と異なる fact19: 「どぎつかない」ものはある fact20: 面白おかしい物は製鉄所である
fact16 & fact8 -> int1: あの所要は係留しないがしかしそれは倒れ難い; int1 & fact4 -> int2: あの引き続きは生まれない; int2 & fact12 -> int3: その上下両院は濃くなくて更に生まれるということはない; int3 -> int4: 「濃くないしかつ生まれるということはない」物はある; int4 & fact13 -> int5: この朝令暮改は陳列しない; int5 & fact15 -> int6: 「「あのネットワークは提唱録で陳列する」ということは誤っていない」ということは間違いだ; fact1 -> int7: 「あのネットワークは提唱録で陳列する」ということは誤っていれば「それは温かくない」ということは偽でない; int6 & int7 -> int8: あのネットワークは温かくない; int8 & fact5 -> hypothesis;
あの天宮は製鉄所である
fact23 -> int9: もしあの天宮は面白おかしいならば「製鉄所でない」ということは偽だ; fact21 -> int10: もし仮に「あの実験方法は陳列しないがしかしそれは濃い」ということは成り立たないならば濃くない;
$facts$ = fact1: 「なんらかのものは提唱録であるし加えてそれは陳列する」ということは事実と異なればそれは温かくない fact2: あの所要は陳列しない fact3: もしあの所要が生まれないとすればその上下両院は倒れ難い fact4: あの所要が係留しない一方で倒れ難いとするとあの引き続きは生まれない fact5: もしもあのネットワークが温かくないならばあの天宮は製鉄所だということはない fact6: もしその上下両院が係留しないが陳列するとしたらあの所要は生まれない fact7: あの実験方法は濃くないとすれば「面白おかしくない」ということは確かだ fact8: あの実験方法は面白おかしくない fact9: その上下両院が生まれないがしかしそれが陳列するならばあの所要は係留しない fact10: あの実験方法は面白おかしいとしたら「あの天宮は面白おかしい」ということは本当だ fact11: もしもあの引き続きは濃くないとしたら「あの所要は生まれないしまた面白おかしくない」ということは偽だ fact12: もしあの引き続きが生まれないとすればその上下両院は濃くなくてしかも生まれない fact13: もし何かは濃くないし生まれないならこの朝令暮改は陳列しない fact14: もし仮にその上下両院が濃くないとするとあの引き続きは濃くない fact15: 仮にこの朝令暮改は陳列しないとしたら「あのネットワークが提唱録だしそれは陳列する」ということは誤っている fact16: 仮にあの実験方法が面白おかしくないならあの所要は係留しないけれど倒れ難い fact17: 「何かは陳列しないけど濃い」ということは嘘であるとすれば濃くない fact18: 「その上下両院が生まれるしその上それは陳列する」ということは事実と異なる fact19: 「どぎつかない」ものはある fact20: 面白おかしい物は製鉄所である ; $hypothesis$ = あの天宮は製鉄所だ ; $proof$ = 
fact16 & fact8 -> int1: あの所要は係留しないがしかしそれは倒れ難い; int1 & fact4 -> int2: あの引き続きは生まれない; int2 & fact12 -> int3: その上下両院は濃くなくて更に生まれるということはない; int3 -> int4: 「濃くないしかつ生まれるということはない」物はある; int4 & fact13 -> int5: この朝令暮改は陳列しない; int5 & fact15 -> int6: 「「あのネットワークは提唱録で陳列する」ということは誤っていない」ということは間違いだ; fact1 -> int7: 「あのネットワークは提唱録で陳列する」ということは誤っていれば「それは温かくない」ということは偽でない; int6 & int7 -> int8: あのネットワークは温かくない; int8 & fact5 -> hypothesis; __DISPROVED__
事実1: 「なんらかのものは提唱録であるし加えてそれは陳列する」ということは事実と異なればそれは温かくない
事実2: あの所要は陳列しない
事実3: もしあの所要が生まれないとすればその上下両院は倒れ難い
事実4: あの所要が係留しない一方で倒れ難いとするとあの引き続きは生まれない
事実5: もしもあのネットワークが温かくないならばあの天宮は製鉄所だということはない
事実6: もしその上下両院が係留しないが陳列するとしたらあの所要は生まれない
事実7: あの実験方法は濃くないとすれば「面白おかしくない」ということは確かだ
事実8: あの実験方法は面白おかしくない
事実9: その上下両院が生まれないがしかしそれが陳列するならばあの所要は係留しない
事実10: あの実験方法は面白おかしいとしたら「あの天宮は面白おかしい」ということは本当だ
事実11: もしもあの引き続きは濃くないとしたら「あの所要は生まれないしまた面白おかしくない」ということは偽だ
事実12: もしあの引き続きが生まれないとすればその上下両院は濃くなくてしかも生まれない
事実13: もし何かは濃くないし生まれないならこの朝令暮改は陳列しない
事実14: もし仮にその上下両院が濃くないとするとあの引き続きは濃くない
事実15: 仮にこの朝令暮改は陳列しないとしたら「あのネットワークが提唱録だしそれは陳列する」ということは誤っている
事実16: 仮にあの実験方法が面白おかしくないならあの所要は係留しないけれど倒れ難い
事実17: 「何かは陳列しないけど濃い」ということは嘘であるとすれば濃くない
事実18: 「その上下両院が生まれるしその上それは陳列する」ということは事実と異なる
事実19: 「どぎつかない」ものはある
事実20: 面白おかしい物は製鉄所である

仮説: あの天宮は製鉄所だ
1. 事実16と事実8から、推論1: "あの所要は係留しないがしかしそれは倒れ難い"が導かれる
2. 推論1と事実4から、推論2: "あの引き続きは生まれない"が導かれる
3. 推論2と事実12から、推論3: "その上下両院は濃くなくて更に生まれるということはない"が導かれる
4. 推論3から、推論4: "「濃くないしかつ生まれるということはない」物はある"が導かれる
5. 推論4と事実13から、推論5: "この朝令暮改は陳列しない"が導かれる
6. 推論5と事実15から、推論6: "「「あのネットワークは提唱録で陳列する」ということは誤っていない」ということは間違いだ"が導かれる
7. 事実1から、推論7: "「あのネットワークは提唱録で陳列する」ということは誤っていれば「それは温かくない」ということは偽でない"が導かれる
8. 推論6と推論7から、推論8: "あのネットワークは温かくない"が導かれる
9. 推論8と事実5から、仮説が否定される

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