あの年月日は図像化するということはない
fact1: 「あの名勝は御忙しい」ということは本当だ fact2: 縁遠くない物は来難いしその上図像化する fact3: 仮に「あの動詞幹は御忙しい」ということは真実であるとしたらそれは事書だ fact4: 「事らしい」物はある fact5: 「なんらかのものがＰＤＳサイクルだしさらにそれは来難い」ということは成り立たないとすればそれはＰＤＳサイクルでない fact6: 仮に「あの名勝は来難い」ということは成り立つとすると「あの年月日は御忙しい一方で来難くない」ということは嘘だ fact7: 仮になんらかのものは掏るとすれば「ＰＤＳサイクルでない」ということは成り立たない fact8: もしあの名勝が御忙しいとすれば掏る fact9: なにがしかのものが図像化するとしたらＰＤＳサイクルである fact10: 「あの名勝は図像化するがそれはＰＤＳサイクルであるということはない」ということは誤りである fact11: もしもあの名勝が酔い潰れるとすれば放つ fact12: 仮にあの名勝は来難いとしたら「この一般式はＰＤＳサイクルである一方で御忙しくない」ということは嘘である fact13: もしも「あの年月日は来難いけれどそれはＰＤＳサイクルだということはない」ということは真実でないならそれは図像化する fact14: 「あの名勝はＰＤＳサイクルであるとしたら「あの年月日は来難いけれどＰＤＳサイクルでない」ということは誤りである」ということは成り立つ fact15: もしあの名勝が御忙しいということはない一方で掏ればあの年月日は図像化しない fact16: もし「なんらかのものは御忙しい」ということは事実だとすれば来難い fact17: もし仮にとあるものが掏るとしたらそれは来難い
fact8 & fact1 -> int1: 「あの名勝は掏る」ということは成り立つ; fact7 -> int2: もしもあの名勝が掏るとすればＰＤＳサイクルである; int1 & int2 -> int3: あの名勝はＰＤＳサイクルだ; int3 & fact14 -> int4: 「あの年月日は来難いがしかしＰＤＳサイクルであるということはない」ということは誤っている; int4 & fact13 -> hypothesis;
「この一般式は掏る」ということは成り立つ
fact18 -> int5: もしもあの名勝が縁遠くないなら来難いしそれに図像化する;
$facts$ = fact1: 「あの名勝は御忙しい」ということは本当だ fact2: 縁遠くない物は来難いしその上図像化する fact3: 仮に「あの動詞幹は御忙しい」ということは真実であるとしたらそれは事書だ fact4: 「事らしい」物はある fact5: 「なんらかのものがＰＤＳサイクルだしさらにそれは来難い」ということは成り立たないとすればそれはＰＤＳサイクルでない fact6: 仮に「あの名勝は来難い」ということは成り立つとすると「あの年月日は御忙しい一方で来難くない」ということは嘘だ fact7: 仮になんらかのものは掏るとすれば「ＰＤＳサイクルでない」ということは成り立たない fact8: もしあの名勝が御忙しいとすれば掏る fact9: なにがしかのものが図像化するとしたらＰＤＳサイクルである fact10: 「あの名勝は図像化するがそれはＰＤＳサイクルであるということはない」ということは誤りである fact11: もしもあの名勝が酔い潰れるとすれば放つ fact12: 仮にあの名勝は来難いとしたら「この一般式はＰＤＳサイクルである一方で御忙しくない」ということは嘘である fact13: もしも「あの年月日は来難いけれどそれはＰＤＳサイクルだということはない」ということは真実でないならそれは図像化する fact14: 「あの名勝はＰＤＳサイクルであるとしたら「あの年月日は来難いけれどＰＤＳサイクルでない」ということは誤りである」ということは成り立つ fact15: もしあの名勝が御忙しいということはない一方で掏ればあの年月日は図像化しない fact16: もし「なんらかのものは御忙しい」ということは事実だとすれば来難い fact17: もし仮にとあるものが掏るとしたらそれは来難い ; $hypothesis$ = あの年月日は図像化するということはない ; $proof$ = 
fact8 & fact1 -> int1: 「あの名勝は掏る」ということは成り立つ; fact7 -> int2: もしもあの名勝が掏るとすればＰＤＳサイクルである; int1 & int2 -> int3: あの名勝はＰＤＳサイクルだ; int3 & fact14 -> int4: 「あの年月日は来難いがしかしＰＤＳサイクルであるということはない」ということは誤っている; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: 「あの名勝は御忙しい」ということは本当だ
事実2: 縁遠くない物は来難いしその上図像化する
事実3: 仮に「あの動詞幹は御忙しい」ということは真実であるとしたらそれは事書だ
事実4: 「事らしい」物はある
事実5: 「なんらかのものがＰＤＳサイクルだしさらにそれは来難い」ということは成り立たないとすればそれはＰＤＳサイクルでない
事実6: 仮に「あの名勝は来難い」ということは成り立つとすると「あの年月日は御忙しい一方で来難くない」ということは嘘だ
事実7: 仮になんらかのものは掏るとすれば「ＰＤＳサイクルでない」ということは成り立たない
事実8: もしあの名勝が御忙しいとすれば掏る
事実9: なにがしかのものが図像化するとしたらＰＤＳサイクルである
事実10: 「あの名勝は図像化するがそれはＰＤＳサイクルであるということはない」ということは誤りである
事実11: もしもあの名勝が酔い潰れるとすれば放つ
事実12: 仮にあの名勝は来難いとしたら「この一般式はＰＤＳサイクルである一方で御忙しくない」ということは嘘である
事実13: もしも「あの年月日は来難いけれどそれはＰＤＳサイクルだということはない」ということは真実でないならそれは図像化する
事実14: 「あの名勝はＰＤＳサイクルであるとしたら「あの年月日は来難いけれどＰＤＳサイクルでない」ということは誤りである」ということは成り立つ
事実15: もしあの名勝が御忙しいということはない一方で掏ればあの年月日は図像化しない
事実16: もし「なんらかのものは御忙しい」ということは事実だとすれば来難い
事実17: もし仮にとあるものが掏るとしたらそれは来難い

仮説: あの年月日は図像化するということはない
1. 事実8と事実1から、推論1: "「あの名勝は掏る」ということは成り立つ"が導かれる
2. 事実7から、推論2: "もしもあの名勝が掏るとすればＰＤＳサイクルである"が導かれる
3. 推論1と推論2から、推論3: "あの名勝はＰＤＳサイクルだ"が導かれる
4. 推論3と事実14から、推論4: "「あの年月日は来難いがしかしＰＤＳサイクルであるということはない」ということは誤っている"が導かれる
5. 推論4と事実13から、仮説が否定される

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