「この干魃は魏晋であるししかも御待ちである」ということは真実でない
fact1: この干魃は出来る出来る fact2: あの愚が行き難くないならばこの干魃は出来る出来るがそれは称賛しない fact3: あの参列者は情動反応であるかあるいは掲揚するかまたはどちらもだ fact4: もし仮にあの参列者が情動反応であるかもしくはそれが掲揚しないかもしくは両方ともであるならあの愚は行き難いということはない fact5: もし仮に「あるものは情動反応であるかまたは掲揚しない」ということは本当でないとすれば記号化する fact6: ある物が称賛しないとしたらそれは魏晋であるし御待ちだ fact7: あの参列者は記号化するということはない fact8: もしもある物は行き難くないならば「魏晋であるし更に御待ちだ」ということは間違いだ
fact5 -> int1: もし「あの参列者は情動反応であるかもしくはそれは掲揚しない」ということは偽であるならばそれは記号化する; void -> assump1: 以下のように仮定する。「あの参列者は情動反応であるか掲揚しないかまたは両方ともだ」ということは誤りである; int1 & assump1 -> int2: あの参列者は記号化する; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの参列者は情動反応であるか掲揚しないかあるいは両方である; int4 & fact4 -> int5: あの愚は行き難くない; int5 & fact2 -> int6: この干魃は出来る出来るけれど称賛しない; int6 -> int7: この干魃は称賛するということはない; fact6 -> int8: もしこの干魃が称賛するということはないなら魏晋でしかも御待ちである; int7 & int8 -> hypothesis;
「この干魃は魏晋であるし御待ちである」ということは事実と異なる
fact9 -> int9: もし仮にこの干魃は行き難いということはないならば「それは魏晋だし御待ちだ」ということは成り立たない;
$facts$ = fact1: この干魃は出来る出来る fact2: あの愚が行き難くないならばこの干魃は出来る出来るがそれは称賛しない fact3: あの参列者は情動反応であるかあるいは掲揚するかまたはどちらもだ fact4: もし仮にあの参列者が情動反応であるかもしくはそれが掲揚しないかもしくは両方ともであるならあの愚は行き難いということはない fact5: もし仮に「あるものは情動反応であるかまたは掲揚しない」ということは本当でないとすれば記号化する fact6: ある物が称賛しないとしたらそれは魏晋であるし御待ちだ fact7: あの参列者は記号化するということはない fact8: もしもある物は行き難くないならば「魏晋であるし更に御待ちだ」ということは間違いだ ; $hypothesis$ = 「この干魃は魏晋であるししかも御待ちである」ということは真実でない ; $proof$ = 
fact5 -> int1: もし「あの参列者は情動反応であるかもしくはそれは掲揚しない」ということは偽であるならばそれは記号化する; void -> assump1: 以下のように仮定する。「あの参列者は情動反応であるか掲揚しないかまたは両方ともだ」ということは誤りである; int1 & assump1 -> int2: あの参列者は記号化する; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの参列者は情動反応であるか掲揚しないかあるいは両方である; int4 & fact4 -> int5: あの愚は行き難くない; int5 & fact2 -> int6: この干魃は出来る出来るけれど称賛しない; int6 -> int7: この干魃は称賛するということはない; fact6 -> int8: もしこの干魃が称賛するということはないなら魏晋でしかも御待ちである; int7 & int8 -> hypothesis; __DISPROVED__
事実1: この干魃は出来る出来る
事実2: あの愚が行き難くないならばこの干魃は出来る出来るがそれは称賛しない
事実3: あの参列者は情動反応であるかあるいは掲揚するかまたはどちらもだ
事実4: もし仮にあの参列者が情動反応であるかもしくはそれが掲揚しないかもしくは両方ともであるならあの愚は行き難いということはない
事実5: もし仮に「あるものは情動反応であるかまたは掲揚しない」ということは本当でないとすれば記号化する
事実6: ある物が称賛しないとしたらそれは魏晋であるし御待ちだ
事実7: あの参列者は記号化するということはない
事実8: もしもある物は行き難くないならば「魏晋であるし更に御待ちだ」ということは間違いだ

仮説: 「この干魃は魏晋であるししかも御待ちである」ということは真実でない
1. 事実5から、推論1: "もし「あの参列者は情動反応であるかもしくはそれは掲揚しない」ということは偽であるならばそれは記号化する"が導かれる
2. 仮定1: 以下のように仮定する。「あの参列者は情動反応であるか掲揚しないかまたは両方ともだ」ということは誤りである
3. 推論1と仮定1から、推論2: "あの参列者は記号化する"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの参列者は情動反応であるか掲揚しないかあるいは両方である"が導かれる
6. 推論4と事実4から、推論5: "あの愚は行き難くない"が導かれる
7. 推論5と事実2から、推論6: "この干魃は出来る出来るけれど称賛しない"が導かれる
8. 推論6から、推論7: "この干魃は称賛するということはない"が導かれる
9. 事実6から、推論8: "もしこの干魃が称賛するということはないなら魏晋でしかも御待ちである"が導かれる
10. 推論7と推論8から、仮説が否定される

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