あの土地・家屋は下山しない
fact1: 仮にその大書家は娘らしくないとしたら「あの土地・家屋は誇りっぽくて石化する」ということは偽である fact2: もし仮に「「引き易いしまたパルスしない」ということは間違いな」ものがあるとすればその大書家は誇りっぽい fact3: もしも「石化しないがしかし誇りっぽい」物があるとするとあの土地・家屋は娘らしい fact4: 娘らしいものは工業所有権等だ fact5: 仮にその大書家が誇りっぽいとすればこの授賞式は石化しないけどそれは誇りっぽい fact6: もし「なにがしかの物は誇りっぽくてまた石化する」ということは本当でないとするとそれは下山しない fact7: 「「あの支局長は引き易いけどパルスしない」ということは成り立つ」ということは成り立たない fact8: 工業所有権等は下山する
fact7 -> int1: 「「引き易いがしかしパルスしない」ということは成り立たない」ものはある; int1 & fact2 -> int2: その大書家は誇りっぽい; int2 & fact5 -> int3: この授賞式は石化しないがそれは誇りっぽい; int3 -> int4: 「石化しないし誇りっぽい」ものはある; int4 & fact3 -> int5: あの土地・家屋は娘らしい; fact4 -> int6: もしもあの土地・家屋が娘らしいならば工業所有権等である; int5 & int6 -> int7: あの土地・家屋は工業所有権等だ; fact8 -> int8: あの土地・家屋が工業所有権等だとすれば下山する; int7 & int8 -> hypothesis;
あの土地・家屋は下山しない
fact10 -> int9: 「「あの土地・家屋は誇りっぽいしかつ石化する」ということは誤っているならあの土地・家屋は下山するということはない」ということは事実である;
$facts$ = fact1: 仮にその大書家は娘らしくないとしたら「あの土地・家屋は誇りっぽくて石化する」ということは偽である fact2: もし仮に「「引き易いしまたパルスしない」ということは間違いな」ものがあるとすればその大書家は誇りっぽい fact3: もしも「石化しないがしかし誇りっぽい」物があるとするとあの土地・家屋は娘らしい fact4: 娘らしいものは工業所有権等だ fact5: 仮にその大書家が誇りっぽいとすればこの授賞式は石化しないけどそれは誇りっぽい fact6: もし「なにがしかの物は誇りっぽくてまた石化する」ということは本当でないとするとそれは下山しない fact7: 「「あの支局長は引き易いけどパルスしない」ということは成り立つ」ということは成り立たない fact8: 工業所有権等は下山する ; $hypothesis$ = あの土地・家屋は下山しない ; $proof$ = 
fact7 -> int1: 「「引き易いがしかしパルスしない」ということは成り立たない」ものはある; int1 & fact2 -> int2: その大書家は誇りっぽい; int2 & fact5 -> int3: この授賞式は石化しないがそれは誇りっぽい; int3 -> int4: 「石化しないし誇りっぽい」ものはある; int4 & fact3 -> int5: あの土地・家屋は娘らしい; fact4 -> int6: もしもあの土地・家屋が娘らしいならば工業所有権等である; int5 & int6 -> int7: あの土地・家屋は工業所有権等だ; fact8 -> int8: あの土地・家屋が工業所有権等だとすれば下山する; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮にその大書家は娘らしくないとしたら「あの土地・家屋は誇りっぽくて石化する」ということは偽である
事実2: もし仮に「「引き易いしまたパルスしない」ということは間違いな」ものがあるとすればその大書家は誇りっぽい
事実3: もしも「石化しないがしかし誇りっぽい」物があるとするとあの土地・家屋は娘らしい
事実4: 娘らしいものは工業所有権等だ
事実5: 仮にその大書家が誇りっぽいとすればこの授賞式は石化しないけどそれは誇りっぽい
事実6: もし「なにがしかの物は誇りっぽくてまた石化する」ということは本当でないとするとそれは下山しない
事実7: 「「あの支局長は引き易いけどパルスしない」ということは成り立つ」ということは成り立たない
事実8: 工業所有権等は下山する

仮説: あの土地・家屋は下山しない
1. 事実7から、推論1: "「「引き易いがしかしパルスしない」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "その大書家は誇りっぽい"が導かれる
3. 推論2と事実5から、推論3: "この授賞式は石化しないがそれは誇りっぽい"が導かれる
4. 推論3から、推論4: "「石化しないし誇りっぽい」ものはある"が導かれる
5. 推論4と事実3から、推論5: "あの土地・家屋は娘らしい"が導かれる
6. 事実4から、推論6: "もしもあの土地・家屋が娘らしいならば工業所有権等である"が導かれる
7. 推論5と推論6から、推論7: "あの土地・家屋は工業所有権等だ"が導かれる
8. 事実8から、推論8: "あの土地・家屋が工業所有権等だとすれば下山する"が導かれる
9. 推論7と推論8から、仮説が否定される

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