このエスパーダは法令全書でない
fact1: 「この小麦は陰口だ」ということは間違っているということはない fact2: もしもあるものは採掘出来るとすれば「それは法令全書だ」ということは確かである fact3: 仮に「「来難くて加えて陰口でない」ということは嘘な」物があるとするとこのエスパーダは繰り替える fact4: 仮に「とある物は陰口である一方で来難くない」ということは成り立たないとしたらそれは法令全書でない fact5: もしもなにかは繰り替えればそれは採掘出来る
void -> assump1: 以下のように仮定する。この小麦は来難い一方で陰口でない; assump1 -> int1: この小麦は陰口であるということはない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この小麦は来難いけれど陰口でない」ということは嘘である; int3 -> int4: 「「来難い一方で陰口であるということはない」ということは本当でない」ものはある; int4 & fact3 -> int5: このエスパーダは繰り替える; fact5 -> int6: もしもこのエスパーダが繰り替えるなら採掘出来る; int5 & int6 -> int7: このエスパーダは採掘出来る; fact2 -> int8: もしもこのエスパーダが採掘出来るとすると法令全書である; int7 & int8 -> hypothesis;
このエスパーダは法令全書であるということはない
fact6 -> int9: 「このエスパーダは陰口である一方でそれは来難くない」ということは誤っているとすると法令全書だということはない;
$facts$ = fact1: 「この小麦は陰口だ」ということは間違っているということはない fact2: もしもあるものは採掘出来るとすれば「それは法令全書だ」ということは確かである fact3: 仮に「「来難くて加えて陰口でない」ということは嘘な」物があるとするとこのエスパーダは繰り替える fact4: 仮に「とある物は陰口である一方で来難くない」ということは成り立たないとしたらそれは法令全書でない fact5: もしもなにかは繰り替えればそれは採掘出来る ; $hypothesis$ = このエスパーダは法令全書でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この小麦は来難い一方で陰口でない; assump1 -> int1: この小麦は陰口であるということはない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この小麦は来難いけれど陰口でない」ということは嘘である; int3 -> int4: 「「来難い一方で陰口であるということはない」ということは本当でない」ものはある; int4 & fact3 -> int5: このエスパーダは繰り替える; fact5 -> int6: もしもこのエスパーダが繰り替えるなら採掘出来る; int5 & int6 -> int7: このエスパーダは採掘出来る; fact2 -> int8: もしもこのエスパーダが採掘出来るとすると法令全書である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「この小麦は陰口だ」ということは間違っているということはない
事実2: もしもあるものは採掘出来るとすれば「それは法令全書だ」ということは確かである
事実3: 仮に「「来難くて加えて陰口でない」ということは嘘な」物があるとするとこのエスパーダは繰り替える
事実4: 仮に「とある物は陰口である一方で来難くない」ということは成り立たないとしたらそれは法令全書でない
事実5: もしもなにかは繰り替えればそれは採掘出来る

仮説: このエスパーダは法令全書でない
1. 仮定1: 以下のように仮定する。この小麦は来難い一方で陰口でない
2. 仮定1から、推論1: "この小麦は陰口であるということはない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この小麦は来難いけれど陰口でない」ということは嘘である"が導かれる
5. 推論3から、推論4: "「「来難い一方で陰口であるということはない」ということは本当でない」ものはある"が導かれる
6. 推論4と事実3から、推論5: "このエスパーダは繰り替える"が導かれる
7. 事実5から、推論6: "もしもこのエスパーダが繰り替えるなら採掘出来る"が導かれる
8. 推論5と推論6から、推論7: "このエスパーダは採掘出来る"が導かれる
9. 事実2から、推論8: "もしもこのエスパーダが採掘出来るとすると法令全書である"が導かれる
10. 推論7と推論8から、仮説が否定される

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