あの黄ごんは分断する
fact1: もしも「あの御見通しは開き切る一方で落ち難くない」ということは間違いなら「あの黄ごんは分断しない」ということは正しい fact2: 仮にこの板戸が寝ればあの御見通しは楽しない fact3: あの御見通しは葉車であるなら寝ないけれど物欲しい fact4: 「このシンナーは楽しない一方で勉学する」ということは事実と異なる fact5: もし仮に「このシンナーは楽しないけれど勉学する」ということは事実と異なるとするとこの板戸は楽しない fact6: 仮にあの御見通しが開き切る一方でそれが落ち難いということはないとしたら葉車である fact7: もしもこの板戸は楽しないとすれば「「あの御見通しは寝ないけどそれは物欲しい」ということは嘘でない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの御見通しは開き切る一方で落ち難くない; fact6 & assump1 -> int1: あの御見通しは葉車だ; int1 & fact3 -> int2: あの御見通しは寝ないけれど物欲しい; fact5 & fact4 -> int3: この板戸は楽しない; fact7 & int3 -> int4: 「あの御見通しは寝ないがしかしそれは物欲しい」ということは事実と異なる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの御見通しは開き切るがしかしそれは落ち難くない」ということは誤っている; int6 & fact1 -> hypothesis;
$facts$ = fact1: もしも「あの御見通しは開き切る一方で落ち難くない」ということは間違いなら「あの黄ごんは分断しない」ということは正しい fact2: 仮にこの板戸が寝ればあの御見通しは楽しない fact3: あの御見通しは葉車であるなら寝ないけれど物欲しい fact4: 「このシンナーは楽しない一方で勉学する」ということは事実と異なる fact5: もし仮に「このシンナーは楽しないけれど勉学する」ということは事実と異なるとするとこの板戸は楽しない fact6: 仮にあの御見通しが開き切る一方でそれが落ち難いということはないとしたら葉車である fact7: もしもこの板戸は楽しないとすれば「「あの御見通しは寝ないけどそれは物欲しい」ということは嘘でない」ということは成り立たない ; $hypothesis$ = あの黄ごんは分断する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの御見通しは開き切る一方で落ち難くない; fact6 & assump1 -> int1: あの御見通しは葉車だ; int1 & fact3 -> int2: あの御見通しは寝ないけれど物欲しい; fact5 & fact4 -> int3: この板戸は楽しない; fact7 & int3 -> int4: 「あの御見通しは寝ないがしかしそれは物欲しい」ということは事実と異なる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの御見通しは開き切るがしかしそれは落ち難くない」ということは誤っている; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「あの御見通しは開き切る一方で落ち難くない」ということは間違いなら「あの黄ごんは分断しない」ということは正しい
事実2: 仮にこの板戸が寝ればあの御見通しは楽しない
事実3: あの御見通しは葉車であるなら寝ないけれど物欲しい
事実4: 「このシンナーは楽しない一方で勉学する」ということは事実と異なる
事実5: もし仮に「このシンナーは楽しないけれど勉学する」ということは事実と異なるとするとこの板戸は楽しない
事実6: 仮にあの御見通しが開き切る一方でそれが落ち難いということはないとしたら葉車である
事実7: もしもこの板戸は楽しないとすれば「「あの御見通しは寝ないけどそれは物欲しい」ということは嘘でない」ということは成り立たない

仮説: あの黄ごんは分断する
1. 仮定1: 以下のように仮定する。あの御見通しは開き切る一方で落ち難くない
2. 事実6と仮定1から、推論1: "あの御見通しは葉車だ"が導かれる
3. 推論1と事実3から、推論2: "あの御見通しは寝ないけれど物欲しい"が導かれる
4. 事実5と事実4から、推論3: "この板戸は楽しない"が導かれる
5. 事実7と推論3から、推論4: "「あの御見通しは寝ないがしかしそれは物欲しい」ということは事実と異なる"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの御見通しは開き切るがしかしそれは落ち難くない」ということは誤っている"が導かれる
8. 推論6と事実1から、仮説が否定される

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