「あの国指定史跡は保ち易くて更に新結合だ」ということは成り立たない
fact1: もしその逆目が引き上げするけどそれが新結合でないとしたらあの国指定史跡は引き上げしない fact2: 麗しないものは誤解され易いし汚れ難い fact3: もし仮に「限り無いということはない」ものがあるとすればその地位は心霊研究でないしおまけにちっこくない fact4: もしもこの外国政府は御守でないとすれば「あの国指定史跡は保ち易いしかつ新結合である」ということは成り立つということはない fact5: 誤解され易いものは新結合だ fact6: 「御守な」物はある fact7: もしも「その思考実験は入手し易くないし更に死別しない」ということは間違いだとすればこの社会福祉法人制度は麗しない fact8: もし「あの無一物は早起き出来るかもしくは忍び難くないかあるいは両方ともである」ということは成り立たないならそのレーザー光線は忍び難くない fact9: 仮にその郡長が日本らしいとするとその逆目は日本らしい fact10: もしもその逆目が日本らしいとすればあの外国政府は御守でないけど引き上げする fact11: もしも「引き上げしない」物はあるとすれば「この外国政府は日本らしいけれど御守でない」ということは成り立たない fact12: もしこの社会福祉法人制度が麗しか汚れ難くないかもしくは両方ともだとするとその郡長は汚れ難くない fact13: 仮に「その郡長は保ち易くない」ということは本当であるとするとその逆目は引き上げするけどそれは新結合でない fact14: 仮に「御守でない」ものはあるなら「この外国政府は引き上げしないけれど日本らしい」ということは成り立たない fact15: とある物は限り無くない fact16: もし「この外国政府は引き上げするということはないけれど日本らしい」ということは成り立たないなら「あの国指定史跡は誤解され易い」ということは本当である fact17: もしもその地位はちっこくないとすれば「あの無一物は早起き出来るかまたは忍び難くない」ということは間違いだ fact18: ある物は御守でない fact19: 「あの国指定史跡は新結合で更に日本らしい」ということは成り立つということはない fact20: あの国指定史跡は保ち易い fact21: もし「なにかは日本らしい一方で御守でない」ということは事実と異なれば御守である fact22: 汚れ難くないものは保ち易くない fact23: 仮にそのレーザー光線は忍び難いということはないとしたら「その思考実験は入手し易くないし加えてそれは死別しない」ということは成り立たない
fact18 & fact14 -> int1: 「この外国政府は引き上げしないけど日本らしい」ということは成り立たない; int1 & fact16 -> int2: あの国指定史跡は誤解され易い; fact5 -> int3: もしあの国指定史跡が誤解され易いとすればそれは新結合だ; int2 & int3 -> int4: あの国指定史跡は新結合である; int4 & fact20 -> hypothesis;
この外国政府は誤解され易い
fact25 -> int5: 「この外国政府は日本らしいけれど御守でない」ということは成り立たないならそれは御守だ; fact29 -> int6: もし仮にその郡長が汚れ難くないならそれは保ち易くない;
$facts$ = fact1: もしその逆目が引き上げするけどそれが新結合でないとしたらあの国指定史跡は引き上げしない fact2: 麗しないものは誤解され易いし汚れ難い fact3: もし仮に「限り無いということはない」ものがあるとすればその地位は心霊研究でないしおまけにちっこくない fact4: もしもこの外国政府は御守でないとすれば「あの国指定史跡は保ち易いしかつ新結合である」ということは成り立つということはない fact5: 誤解され易いものは新結合だ fact6: 「御守な」物はある fact7: もしも「その思考実験は入手し易くないし更に死別しない」ということは間違いだとすればこの社会福祉法人制度は麗しない fact8: もし「あの無一物は早起き出来るかもしくは忍び難くないかあるいは両方ともである」ということは成り立たないならそのレーザー光線は忍び難くない fact9: 仮にその郡長が日本らしいとするとその逆目は日本らしい fact10: もしもその逆目が日本らしいとすればあの外国政府は御守でないけど引き上げする fact11: もしも「引き上げしない」物はあるとすれば「この外国政府は日本らしいけれど御守でない」ということは成り立たない fact12: もしこの社会福祉法人制度が麗しか汚れ難くないかもしくは両方ともだとするとその郡長は汚れ難くない fact13: 仮に「その郡長は保ち易くない」ということは本当であるとするとその逆目は引き上げするけどそれは新結合でない fact14: 仮に「御守でない」ものはあるなら「この外国政府は引き上げしないけれど日本らしい」ということは成り立たない fact15: とある物は限り無くない fact16: もし「この外国政府は引き上げするということはないけれど日本らしい」ということは成り立たないなら「あの国指定史跡は誤解され易い」ということは本当である fact17: もしもその地位はちっこくないとすれば「あの無一物は早起き出来るかまたは忍び難くない」ということは間違いだ fact18: ある物は御守でない fact19: 「あの国指定史跡は新結合で更に日本らしい」ということは成り立つということはない fact20: あの国指定史跡は保ち易い fact21: もし「なにかは日本らしい一方で御守でない」ということは事実と異なれば御守である fact22: 汚れ難くないものは保ち易くない fact23: 仮にそのレーザー光線は忍び難いということはないとしたら「その思考実験は入手し易くないし加えてそれは死別しない」ということは成り立たない ; $hypothesis$ = 「あの国指定史跡は保ち易くて更に新結合だ」ということは成り立たない ; $proof$ = 
fact18 & fact14 -> int1: 「この外国政府は引き上げしないけど日本らしい」ということは成り立たない; int1 & fact16 -> int2: あの国指定史跡は誤解され易い; fact5 -> int3: もしあの国指定史跡が誤解され易いとすればそれは新結合だ; int2 & int3 -> int4: あの国指定史跡は新結合である; int4 & fact20 -> hypothesis; __DISPROVED__
事実1: もしその逆目が引き上げするけどそれが新結合でないとしたらあの国指定史跡は引き上げしない
事実2: 麗しないものは誤解され易いし汚れ難い
事実3: もし仮に「限り無いということはない」ものがあるとすればその地位は心霊研究でないしおまけにちっこくない
事実4: もしもこの外国政府は御守でないとすれば「あの国指定史跡は保ち易いしかつ新結合である」ということは成り立つということはない
事実5: 誤解され易いものは新結合だ
事実6: 「御守な」物はある
事実7: もしも「その思考実験は入手し易くないし更に死別しない」ということは間違いだとすればこの社会福祉法人制度は麗しない
事実8: もし「あの無一物は早起き出来るかもしくは忍び難くないかあるいは両方ともである」ということは成り立たないならそのレーザー光線は忍び難くない
事実9: 仮にその郡長が日本らしいとするとその逆目は日本らしい
事実10: もしもその逆目が日本らしいとすればあの外国政府は御守でないけど引き上げする
事実11: もしも「引き上げしない」物はあるとすれば「この外国政府は日本らしいけれど御守でない」ということは成り立たない
事実12: もしこの社会福祉法人制度が麗しか汚れ難くないかもしくは両方ともだとするとその郡長は汚れ難くない
事実13: 仮に「その郡長は保ち易くない」ということは本当であるとするとその逆目は引き上げするけどそれは新結合でない
事実14: 仮に「御守でない」ものはあるなら「この外国政府は引き上げしないけれど日本らしい」ということは成り立たない
事実15: とある物は限り無くない
事実16: もし「この外国政府は引き上げするということはないけれど日本らしい」ということは成り立たないなら「あの国指定史跡は誤解され易い」ということは本当である
事実17: もしもその地位はちっこくないとすれば「あの無一物は早起き出来るかまたは忍び難くない」ということは間違いだ
事実18: ある物は御守でない
事実19: 「あの国指定史跡は新結合で更に日本らしい」ということは成り立つということはない
事実20: あの国指定史跡は保ち易い
事実21: もし「なにかは日本らしい一方で御守でない」ということは事実と異なれば御守である
事実22: 汚れ難くないものは保ち易くない
事実23: 仮にそのレーザー光線は忍び難いということはないとしたら「その思考実験は入手し易くないし加えてそれは死別しない」ということは成り立たない

仮説: 「あの国指定史跡は保ち易くて更に新結合だ」ということは成り立たない
1. 事実18と事実14から、推論1: "「この外国政府は引き上げしないけど日本らしい」ということは成り立たない"が導かれる
2. 推論1と事実16から、推論2: "あの国指定史跡は誤解され易い"が導かれる
3. 事実5から、推論3: "もしあの国指定史跡が誤解され易いとすればそれは新結合だ"が導かれる
4. 推論2と推論3から、推論4: "あの国指定史跡は新結合である"が導かれる
5. 推論4と事実20から、仮説が否定される

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