「「論難する」ということは本当であるなら「言語要件だということはなくて加えて成し難くない」ということは誤っている」ものはある
fact1: 「もしも論難するなら言語要件でなくて加えて成し難くない」物はある fact2: 「仮に論難するとすると「言語要件だがしかし成し難くない」ということは成り立つということはない」物はある fact3: もし何らかのものは論難するしまた闖入するとするとそれは吸い出すということはない fact4: 仮にこの日記帳は論難するとしたら「それは言語要件であるけれど成し難くない」ということは偽だ fact5: この日記帳が論難するとすると言語要件でないし成し難くない fact6: もし仮にこの日記帳は対応すらないかあるいは論難しないかもしくは両方であるなら「この椴木は論難する」ということは成り立つ fact7: もし仮に何らかのものは吸い出さないとすると「それは誘惑しないしおまけに言語要件でない」ということは成り立つということはない fact8: もしこの日記帳は言語要件だけど成し難くないとしたら論難しない fact9: 「仮に論難するなら「言語要件でないしそれに成し難い」ということは成り立たない」ものはある fact10: 仮にこの日記帳が言語要件でなくてかつそれは成し難くないとすればそれは論難しない fact11: 仮にあの未開拓は言語要件であるなら「平均賃金でないし攻撃側でない」ということは間違いだ fact12: 「この日記帳は言語要件だが成し難くない」ということは誤りだ fact13: 仮にこの日記帳が言語要件でなくて成し難くないとするとそれは論難する fact14: 「もし仮に後ろめたいとしたら「新しくないし感謝すらない」ということは成り立たない」物はある fact15: この日記帳は言語要件でないけれど成し難いとすれば論難しない fact16: この日記帳は論難すれば「それは言語要件でなくて成し難い」ということは間違いだ fact17: 「この日記帳は言語要件でないけど成し難い」ということは事実でない
void -> assump2: 以下のように仮定する。この日記帳は言語要件でなくてかつそれは成し難くない; fact10 & assump2 -> int1: この日記帳は論難しない; void -> assump1: 以下のように仮定する。この日記帳は論難する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「「この日記帳は言語要件でないしまた成し難くない」ということは間違いだ」ということは真実だ; [assump1] & int3 -> int4: もしこの日記帳は論難するなら「それは言語要件だということはなくてそれは成し難くない」ということは本当でない; int4 -> hypothesis;
「この椴木は誘惑しないしおまけにそれは言語要件でない」ということは成り立たない
fact20 -> int5: もし仮にこの椴木は吸い出さないとすると「誘惑しないしおまけにそれは言語要件でない」ということは成り立つということはない; fact18 -> int6: この椴木は論難するし闖入するならそれは吸い出さない;
$facts$ = fact1: 「もしも論難するなら言語要件でなくて加えて成し難くない」物はある fact2: 「仮に論難するとすると「言語要件だがしかし成し難くない」ということは成り立つということはない」物はある fact3: もし何らかのものは論難するしまた闖入するとするとそれは吸い出すということはない fact4: 仮にこの日記帳は論難するとしたら「それは言語要件であるけれど成し難くない」ということは偽だ fact5: この日記帳が論難するとすると言語要件でないし成し難くない fact6: もし仮にこの日記帳は対応すらないかあるいは論難しないかもしくは両方であるなら「この椴木は論難する」ということは成り立つ fact7: もし仮に何らかのものは吸い出さないとすると「それは誘惑しないしおまけに言語要件でない」ということは成り立つということはない fact8: もしこの日記帳は言語要件だけど成し難くないとしたら論難しない fact9: 「仮に論難するなら「言語要件でないしそれに成し難い」ということは成り立たない」ものはある fact10: 仮にこの日記帳が言語要件でなくてかつそれは成し難くないとすればそれは論難しない fact11: 仮にあの未開拓は言語要件であるなら「平均賃金でないし攻撃側でない」ということは間違いだ fact12: 「この日記帳は言語要件だが成し難くない」ということは誤りだ fact13: 仮にこの日記帳が言語要件でなくて成し難くないとするとそれは論難する fact14: 「もし仮に後ろめたいとしたら「新しくないし感謝すらない」ということは成り立たない」物はある fact15: この日記帳は言語要件でないけれど成し難いとすれば論難しない fact16: この日記帳は論難すれば「それは言語要件でなくて成し難い」ということは間違いだ fact17: 「この日記帳は言語要件でないけど成し難い」ということは事実でない ; $hypothesis$ = 「「論難する」ということは本当であるなら「言語要件だということはなくて加えて成し難くない」ということは誤っている」ものはある ; $proof$ = 
void -> assump2: 以下のように仮定する。この日記帳は言語要件でなくてかつそれは成し難くない; fact10 & assump2 -> int1: この日記帳は論難しない; void -> assump1: 以下のように仮定する。この日記帳は論難する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「「この日記帳は言語要件でないしまた成し難くない」ということは間違いだ」ということは真実だ; [assump1] & int3 -> int4: もしこの日記帳は論難するなら「それは言語要件だということはなくてそれは成し難くない」ということは本当でない; int4 -> hypothesis; __PROVED__
事実1: 「もしも論難するなら言語要件でなくて加えて成し難くない」物はある
事実2: 「仮に論難するとすると「言語要件だがしかし成し難くない」ということは成り立つということはない」物はある
事実3: もし何らかのものは論難するしまた闖入するとするとそれは吸い出すということはない
事実4: 仮にこの日記帳は論難するとしたら「それは言語要件であるけれど成し難くない」ということは偽だ
事実5: この日記帳が論難するとすると言語要件でないし成し難くない
事実6: もし仮にこの日記帳は対応すらないかあるいは論難しないかもしくは両方であるなら「この椴木は論難する」ということは成り立つ
事実7: もし仮に何らかのものは吸い出さないとすると「それは誘惑しないしおまけに言語要件でない」ということは成り立つということはない
事実8: もしこの日記帳は言語要件だけど成し難くないとしたら論難しない
事実9: 「仮に論難するなら「言語要件でないしそれに成し難い」ということは成り立たない」ものはある
事実10: 仮にこの日記帳が言語要件でなくてかつそれは成し難くないとすればそれは論難しない
事実11: 仮にあの未開拓は言語要件であるなら「平均賃金でないし攻撃側でない」ということは間違いだ
事実12: 「この日記帳は言語要件だが成し難くない」ということは誤りだ
事実13: 仮にこの日記帳が言語要件でなくて成し難くないとするとそれは論難する
事実14: 「もし仮に後ろめたいとしたら「新しくないし感謝すらない」ということは成り立たない」物はある
事実15: この日記帳は言語要件でないけれど成し難いとすれば論難しない
事実16: この日記帳は論難すれば「それは言語要件でなくて成し難い」ということは間違いだ
事実17: 「この日記帳は言語要件でないけど成し難い」ということは事実でない

仮説: 「「論難する」ということは本当であるなら「言語要件だということはなくて加えて成し難くない」ということは誤っている」ものはある
1. 仮定2: 以下のように仮定する。この日記帳は言語要件でなくてかつそれは成し難くない
2. 事実10と仮定2から、推論1: "この日記帳は論難しない"が導かれる
3. 仮定1: 以下のように仮定する。この日記帳は論難する
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「「この日記帳は言語要件でないしまた成し難くない」ということは間違いだ」ということは真実だ"が導かれる
6. [仮定1]と推論3から、推論4: "もしこの日記帳は論難するなら「それは言語要件だということはなくてそれは成し難くない」ということは本当でない"が導かれる
7. 推論4から、仮説が導かれる

よって、仮説が証明されました。