あの泉岳寺は大きい
fact1: 「この新仮名遣いは水路網でなくてそれは逃げ切らない」ということは成り立つということはないとするとあの泉岳寺は大きくない fact2: この未知性は吊り易くない fact3: もしもこの未知性が御振りでないとすればあの新仮名遣いは潜在化しない fact4: もしも何かは潜在化しないとしたら「水路網でないしさらに逃げ切らない」ということは成り立たない fact5: あの泉岳寺は接し得るし逃げ切る fact6: 「この第二次内裏が潜在化しないしさらにそれはうっそりであるということはない」ということは事実と異なる fact7: 何らかのものは潜在化しないなら「「水路網である一方で逃げ切らない」ということは確かだ」ということは嘘だ fact8: もしも「この未知性は大きくなくてまた小高くない」ということは成り立たないとしたら「あの泉岳寺は吸収され難くない」ということは成り立つ fact9: 「この新仮名遣いは大きくなくて加えてそれは逃げ切らない」ということは間違いである fact10: 「「この新仮名遣いは水路網だが逃げ切らない」ということは確かである」ということは成り立たない fact11: 「この未知性は御振りである」ということは成り立つ fact12: 仮にこの新仮名遣いが水路網であるならばあの泉岳寺は大きくない fact13: 仮にある物は先取りしないとすれば「御振りでないしかつ大きくない」ということは成り立たない fact14: あの泉岳寺は吸収され難くない fact15: この新仮名遣いは水路網でないなら「それは先取りしなくて大きくない」ということは誤りだ fact16: 仮にこの未知性は御振りであるが先取りしないとしたら吸収され難くない fact17: もし仮に「この新仮名遣いは水路網でないし小高くない」ということは偽であるとするとこの未知性は潜在化しない fact18: この未知性は小高い fact19: もしも「この未知性は御振りである一方でそれは先取りしない」ということは事実と異なるとすればこの新仮名遣いは潜在化するということはない fact20: 仮に「この未知性は御振りでなくて大きくない」ということは間違いであるならばあの泉岳寺は小高くない fact21: この未知性は御世話である fact22: この未知性は逃げ切るということはない fact23: この未知性は吸収され難くて加えて小高い fact24: もし「あの泉岳寺は潜在化するけれど小高くない」ということは間違いであるならこの未知性は大きくない fact25: 「この新仮名遣いは潜在化しない」ということは本当であるならば「水路網だが逃げ切らない」ということは事実と異なる
void -> assump1: 以下のように仮定する。この未知性は御振りだけれど先取りしない; fact16 & assump1 -> int1: この未知性は吸収され難くない; fact23 -> int2: この未知性は吸収され難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この未知性は御振りだ一方でそれは先取りしない」ということは嘘である」ということは真実である; int4 & fact19 -> int5: この新仮名遣いは潜在化しない; fact4 -> int6: もしこの新仮名遣いは潜在化しないとしたら「水路網でないし更に逃げ切らない」ということは成り立たない; int5 & int6 -> int7: 「この新仮名遣いは水路網でなくて逃げ切るということはない」ということは成り立たない; int7 & fact1 -> hypothesis;
$facts$ = fact1: 「この新仮名遣いは水路網でなくてそれは逃げ切らない」ということは成り立つということはないとするとあの泉岳寺は大きくない fact2: この未知性は吊り易くない fact3: もしもこの未知性が御振りでないとすればあの新仮名遣いは潜在化しない fact4: もしも何かは潜在化しないとしたら「水路網でないしさらに逃げ切らない」ということは成り立たない fact5: あの泉岳寺は接し得るし逃げ切る fact6: 「この第二次内裏が潜在化しないしさらにそれはうっそりであるということはない」ということは事実と異なる fact7: 何らかのものは潜在化しないなら「「水路網である一方で逃げ切らない」ということは確かだ」ということは嘘だ fact8: もしも「この未知性は大きくなくてまた小高くない」ということは成り立たないとしたら「あの泉岳寺は吸収され難くない」ということは成り立つ fact9: 「この新仮名遣いは大きくなくて加えてそれは逃げ切らない」ということは間違いである fact10: 「「この新仮名遣いは水路網だが逃げ切らない」ということは確かである」ということは成り立たない fact11: 「この未知性は御振りである」ということは成り立つ fact12: 仮にこの新仮名遣いが水路網であるならばあの泉岳寺は大きくない fact13: 仮にある物は先取りしないとすれば「御振りでないしかつ大きくない」ということは成り立たない fact14: あの泉岳寺は吸収され難くない fact15: この新仮名遣いは水路網でないなら「それは先取りしなくて大きくない」ということは誤りだ fact16: 仮にこの未知性は御振りであるが先取りしないとしたら吸収され難くない fact17: もし仮に「この新仮名遣いは水路網でないし小高くない」ということは偽であるとするとこの未知性は潜在化しない fact18: この未知性は小高い fact19: もしも「この未知性は御振りである一方でそれは先取りしない」ということは事実と異なるとすればこの新仮名遣いは潜在化するということはない fact20: 仮に「この未知性は御振りでなくて大きくない」ということは間違いであるならばあの泉岳寺は小高くない fact21: この未知性は御世話である fact22: この未知性は逃げ切るということはない fact23: この未知性は吸収され難くて加えて小高い fact24: もし「あの泉岳寺は潜在化するけれど小高くない」ということは間違いであるならこの未知性は大きくない fact25: 「この新仮名遣いは潜在化しない」ということは本当であるならば「水路網だが逃げ切らない」ということは事実と異なる ; $hypothesis$ = あの泉岳寺は大きい ; $proof$ = 
void -> assump1: 以下のように仮定する。この未知性は御振りだけれど先取りしない; fact16 & assump1 -> int1: この未知性は吸収され難くない; fact23 -> int2: この未知性は吸収され難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この未知性は御振りだ一方でそれは先取りしない」ということは嘘である」ということは真実である; int4 & fact19 -> int5: この新仮名遣いは潜在化しない; fact4 -> int6: もしこの新仮名遣いは潜在化しないとしたら「水路網でないし更に逃げ切らない」ということは成り立たない; int5 & int6 -> int7: 「この新仮名遣いは水路網でなくて逃げ切るということはない」ということは成り立たない; int7 & fact1 -> 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: この未知性は吸収され難くて加えて小高い
事実24: もし「あの泉岳寺は潜在化するけれど小高くない」ということは間違いであるならこの未知性は大きくない
事実25: 「この新仮名遣いは潜在化しない」ということは本当であるならば「水路網だが逃げ切らない」ということは事実と異なる

仮説: あの泉岳寺は大きい
1. 仮定1: 以下のように仮定する。この未知性は御振りだけれど先取りしない
2. 事実16と仮定1から、推論1: "この未知性は吸収され難くない"が導かれる
3. 事実23から、推論2: "この未知性は吸収され難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「この未知性は御振りだ一方でそれは先取りしない」ということは嘘である」ということは真実である"が導かれる
6. 推論4と事実19から、推論5: "この新仮名遣いは潜在化しない"が導かれる
7. 事実4から、推論6: "もしこの新仮名遣いは潜在化しないとしたら「水路網でないし更に逃げ切らない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "「この新仮名遣いは水路網でなくて逃げ切るということはない」ということは成り立たない"が導かれる
9. 推論7と事実1から、仮説が否定される

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