あの大祭は新古でない
fact1: もしもこの中日ドラゴンズが新古ならばあの大祭は新古だ fact2: もしもそのＮＨが御礼状でないけどそれは遺残であるとすれば「あのハンチ等は予測し易い」ということは事実だ fact3: 「そのトロコイド定数は汚れ難い」ということは確かだ fact4: あの詩法は薄過ぎる fact5: この中日ドラゴンズは急かない fact6: もしその図書館が結い上げるかまたはそれが下位個体だとするとあのハンチ等は汚れ難くない fact7: もし仮にとあるものが遭遇するとすると急く一方で実証するということはない fact8: 仮にあのハンチ等が予測し易いならその図書館は汚れ難い fact9: もしもなにかは急くがしかし実証しないとしたら下位個体である fact10: もしもある物は汚れ難いとすると「結い上げるが下位個体でない」ということは確かである fact11: もし仮にこの情熱が正しいとしたらこのライフサイクルは信濃国絵図でないしその上塑像であるということはない fact12: もしその図書館が急かないとするとこの中日ドラゴンズは新古であるかもしくは遭遇するかあるいは両方ともである fact13: 「もしあのハンチ等が御礼状であるならあのハンチ等は汚れ難いが予測し易くない」ということは正しい fact14: もしあの大祭は新古だとすると「この中日ドラゴンズは慎ましいがしかしそれは冗談めかない」ということは誤っている fact15: あのハンチ等は御礼状だ fact16: もし「「この中日ドラゴンズは慎ましいが冗談めかない」ということは誤りである」ということは正しいならその図書館は遭遇する fact17: あの詩法が正しいということはないけど脱線するならばあの情熱は正しい fact18: もしあの詩法が薄過ぎれば正しいということはないけれど脱線する
void -> assump1: 以下のように仮定する。あの大祭は新古である; fact14 & assump1 -> int1: 「この中日ドラゴンズは慎ましい一方で冗談めかない」ということは成り立たない; int1 & fact16 -> int2: その図書館は遭遇する; fact7 -> int3: もし「その図書館は遭遇する」ということは確かなら急くがしかし実証しない; int2 & int3 -> int4: その図書館は急くけど実証しない; fact9 -> int5: 仮にその図書館は急くが実証しないならば「下位個体でない」ということは成り立たない; int4 & int5 -> int6: その図書館は下位個体だ; int6 -> int7: その図書館は結い上げるかまたは下位個体であるかあるいはどちらもだ; int7 & fact6 -> int8: あのハンチ等は汚れ難くない; fact13 & fact15 -> int9: あのハンチ等は汚れ難い一方で予測し易くない; int9 -> int10: あのハンチ等は汚れ難い; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
あの大祭は新古である
fact27 -> int12: もし仮にその図書館が汚れ難いならばそれは結い上げるし下位個体であるということはない; fact19 & fact23 -> int13: あの詩法は正しくないが脱線する; fact20 & int13 -> int14: この情熱は正しい; fact26 & int14 -> int15: このライフサイクルは信濃国絵図でないしさらに塑像でない; int15 -> int16: このライフサイクルは信濃国絵図でない; int16 -> int17: 「信濃国絵図でない」ものはある;
$facts$ = fact1: もしもこの中日ドラゴンズが新古ならばあの大祭は新古だ fact2: もしもそのＮＨが御礼状でないけどそれは遺残であるとすれば「あのハンチ等は予測し易い」ということは事実だ fact3: 「そのトロコイド定数は汚れ難い」ということは確かだ fact4: あの詩法は薄過ぎる fact5: この中日ドラゴンズは急かない fact6: もしその図書館が結い上げるかまたはそれが下位個体だとするとあのハンチ等は汚れ難くない fact7: もし仮にとあるものが遭遇するとすると急く一方で実証するということはない fact8: 仮にあのハンチ等が予測し易いならその図書館は汚れ難い fact9: もしもなにかは急くがしかし実証しないとしたら下位個体である fact10: もしもある物は汚れ難いとすると「結い上げるが下位個体でない」ということは確かである fact11: もし仮にこの情熱が正しいとしたらこのライフサイクルは信濃国絵図でないしその上塑像であるということはない fact12: もしその図書館が急かないとするとこの中日ドラゴンズは新古であるかもしくは遭遇するかあるいは両方ともである fact13: 「もしあのハンチ等が御礼状であるならあのハンチ等は汚れ難いが予測し易くない」ということは正しい fact14: もしあの大祭は新古だとすると「この中日ドラゴンズは慎ましいがしかしそれは冗談めかない」ということは誤っている fact15: あのハンチ等は御礼状だ fact16: もし「「この中日ドラゴンズは慎ましいが冗談めかない」ということは誤りである」ということは正しいならその図書館は遭遇する fact17: あの詩法が正しいということはないけど脱線するならばあの情熱は正しい fact18: もしあの詩法が薄過ぎれば正しいということはないけれど脱線する ; $hypothesis$ = あの大祭は新古でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大祭は新古である; fact14 & assump1 -> int1: 「この中日ドラゴンズは慎ましい一方で冗談めかない」ということは成り立たない; int1 & fact16 -> int2: その図書館は遭遇する; fact7 -> int3: もし「その図書館は遭遇する」ということは確かなら急くがしかし実証しない; int2 & int3 -> int4: その図書館は急くけど実証しない; fact9 -> int5: 仮にその図書館は急くが実証しないならば「下位個体でない」ということは成り立たない; int4 & int5 -> int6: その図書館は下位個体だ; int6 -> int7: その図書館は結い上げるかまたは下位個体であるかあるいはどちらもだ; int7 & fact6 -> int8: あのハンチ等は汚れ難くない; fact13 & fact15 -> int9: あのハンチ等は汚れ難い一方で予測し易くない; int9 -> int10: あのハンチ等は汚れ難い; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: もしもこの中日ドラゴンズが新古ならばあの大祭は新古だ
事実2: もしもそのＮＨが御礼状でないけどそれは遺残であるとすれば「あのハンチ等は予測し易い」ということは事実だ
事実3: 「そのトロコイド定数は汚れ難い」ということは確かだ
事実4: あの詩法は薄過ぎる
事実5: この中日ドラゴンズは急かない
事実6: もしその図書館が結い上げるかまたはそれが下位個体だとするとあのハンチ等は汚れ難くない
事実7: もし仮にとあるものが遭遇するとすると急く一方で実証するということはない
事実8: 仮にあのハンチ等が予測し易いならその図書館は汚れ難い
事実9: もしもなにかは急くがしかし実証しないとしたら下位個体である
事実10: もしもある物は汚れ難いとすると「結い上げるが下位個体でない」ということは確かである
事実11: もし仮にこの情熱が正しいとしたらこのライフサイクルは信濃国絵図でないしその上塑像であるということはない
事実12: もしその図書館が急かないとするとこの中日ドラゴンズは新古であるかもしくは遭遇するかあるいは両方ともである
事実13: 「もしあのハンチ等が御礼状であるならあのハンチ等は汚れ難いが予測し易くない」ということは正しい
事実14: もしあの大祭は新古だとすると「この中日ドラゴンズは慎ましいがしかしそれは冗談めかない」ということは誤っている
事実15: あのハンチ等は御礼状だ
事実16: もし「「この中日ドラゴンズは慎ましいが冗談めかない」ということは誤りである」ということは正しいならその図書館は遭遇する
事実17: あの詩法が正しいということはないけど脱線するならばあの情熱は正しい
事実18: もしあの詩法が薄過ぎれば正しいということはないけれど脱線する

仮説: あの大祭は新古でない
1. 仮定1: 以下のように仮定する。あの大祭は新古である
2. 事実14と仮定1から、推論1: "「この中日ドラゴンズは慎ましい一方で冗談めかない」ということは成り立たない"が導かれる
3. 推論1と事実16から、推論2: "その図書館は遭遇する"が導かれる
4. 事実7から、推論3: "もし「その図書館は遭遇する」ということは確かなら急くがしかし実証しない"が導かれる
5. 推論2と推論3から、推論4: "その図書館は急くけど実証しない"が導かれる
6. 事実9から、推論5: "仮にその図書館は急くが実証しないならば「下位個体でない」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "その図書館は下位個体だ"が導かれる
8. 推論6から、推論7: "その図書館は結い上げるかまたは下位個体であるかあるいはどちらもだ"が導かれる
9. 推論7と事実6から、推論8: "あのハンチ等は汚れ難くない"が導かれる
10. 事実13と事実15から、推論9: "あのハンチ等は汚れ難い一方で予測し易くない"が導かれる
11. 推論9から、推論10: "あのハンチ等は汚れ難い"が導かれる
12. 推論8と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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