「あの門札は語り給うかもしくは消耗するかあるいは両方だ」ということは成り立たない
fact1: 「あの門札は揉み出すということはない」ということは確かであるなら「それは消耗するかまたは手際良いかあるいは両方ともである」ということは事実と異なる fact2: もしあの門札が揉み出すということはないけど喋り難いとしたらその歩行者等は手際良くない fact3: その歩行者等は揉み出さない fact4: その歩行者等は喋り難くないけど手際良い fact5: 「その歩行者等は喋り難いかそれは消耗する」ということは誤りである fact6: その歩行者等は思想上でない一方でそれは読み辛い fact7: その歩行者等は喋り難くない fact8: もしもあの門札が消耗しないが揉み出すとすると「その歩行者等は語り給わない」ということは成り立つ fact9: あの門札は消耗しない fact10: あの相性運は手際良くないがしかし疚しい fact11: あの相性運は語り給う fact12: この免疫は最高機関でないがそれは手際良い fact13: もし仮になにかは揉み出さないならば「それは語り給うか消耗するかまたは両方ともである」ということは偽だ fact14: もしなにがしかの物が揉み出さないならば消耗しない fact15: 仮に何かは消耗するということはないとすれば「喋り難くない」ということは嘘でない fact16: もしあの門札は揉み出すということはないなら「消耗する」ということは正しくない fact17: 仮にその歩行者等が喋り難くない一方で手際良いならあの門札は揉み出さない fact18: もし仮にその歩行者等が喋り難いしその上手際良いとするとあの門札は揉み出さない fact19: 何らかの物が削り出さないとするとそれは語り給うし揉み出す fact20: もし「その歩行者等は手際良いということはない」ということは成り立つとすれば「それは消耗するかまたは喋り難いかあるいは両方ともだ」ということは成り立たない fact21: 「その歩行者等は消耗しない」ということは正しい fact22: もしもあの門札が嵌めないとすれば易しくない fact23: もしも「なんらかのものは揉み出さない」ということは成り立つとしたら喋り難くない
fact17 & fact4 -> int1: あの門札は揉み出さない; fact13 -> int2: もしあの門札は揉み出さないならば「それは語り給うかもしくは消耗するかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> hypothesis;
fact17 & fact4 -> int1: ¬{B}{b}; fact13 -> int2: ¬{B}{b} -> ¬({C}{b} v {A}{b}); int1 & int2 -> hypothesis;
あの門札は語り給うか消耗する
fact24 -> int3: もしもあの門札が削り出さないとしたら語り給うしさらに揉み出す;
$facts$ = fact1: 「あの門札は揉み出すということはない」ということは確かであるなら「それは消耗するかまたは手際良いかあるいは両方ともである」ということは事実と異なる fact2: もしあの門札が揉み出すということはないけど喋り難いとしたらその歩行者等は手際良くない fact3: その歩行者等は揉み出さない fact4: その歩行者等は喋り難くないけど手際良い fact5: 「その歩行者等は喋り難いかそれは消耗する」ということは誤りである fact6: その歩行者等は思想上でない一方でそれは読み辛い fact7: その歩行者等は喋り難くない fact8: もしもあの門札が消耗しないが揉み出すとすると「その歩行者等は語り給わない」ということは成り立つ fact9: あの門札は消耗しない fact10: あの相性運は手際良くないがしかし疚しい fact11: あの相性運は語り給う fact12: この免疫は最高機関でないがそれは手際良い fact13: もし仮になにかは揉み出さないならば「それは語り給うか消耗するかまたは両方ともである」ということは偽だ fact14: もしなにがしかの物が揉み出さないならば消耗しない fact15: 仮に何かは消耗するということはないとすれば「喋り難くない」ということは嘘でない fact16: もしあの門札は揉み出すということはないなら「消耗する」ということは正しくない fact17: 仮にその歩行者等が喋り難くない一方で手際良いならあの門札は揉み出さない fact18: もし仮にその歩行者等が喋り難いしその上手際良いとするとあの門札は揉み出さない fact19: 何らかの物が削り出さないとするとそれは語り給うし揉み出す fact20: もし「その歩行者等は手際良いということはない」ということは成り立つとすれば「それは消耗するかまたは喋り難いかあるいは両方ともだ」ということは成り立たない fact21: 「その歩行者等は消耗しない」ということは正しい fact22: もしもあの門札が嵌めないとすれば易しくない fact23: もしも「なんらかのものは揉み出さない」ということは成り立つとしたら喋り難くない ; $hypothesis$ = 「あの門札は語り給うかもしくは消耗するかあるいは両方だ」ということは成り立たない ; $proof$ = 
fact17 & fact4 -> int1: あの門札は揉み出さない; fact13 -> int2: もしあの門札は揉み出さないならば「それは語り給うかもしくは消耗するかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの門札は揉み出すということはない」ということは確かであるなら「それは消耗するかまたは手際良いかあるいは両方ともである」ということは事実と異なる
事実2: もしあの門札が揉み出すということはないけど喋り難いとしたらその歩行者等は手際良くない
事実3: その歩行者等は揉み出さない
事実4: その歩行者等は喋り難くないけど手際良い
事実5: 「その歩行者等は喋り難いかそれは消耗する」ということは誤りである
事実6: その歩行者等は思想上でない一方でそれは読み辛い
事実7: その歩行者等は喋り難くない
事実8: もしもあの門札が消耗しないが揉み出すとすると「その歩行者等は語り給わない」ということは成り立つ
事実9: あの門札は消耗しない
事実10: あの相性運は手際良くないがしかし疚しい
事実11: あの相性運は語り給う
事実12: この免疫は最高機関でないがそれは手際良い
事実13: もし仮になにかは揉み出さないならば「それは語り給うか消耗するかまたは両方ともである」ということは偽だ
事実14: もしなにがしかの物が揉み出さないならば消耗しない
事実15: 仮に何かは消耗するということはないとすれば「喋り難くない」ということは嘘でない
事実16: もしあの門札は揉み出すということはないなら「消耗する」ということは正しくない
事実17: 仮にその歩行者等が喋り難くない一方で手際良いならあの門札は揉み出さない
事実18: もし仮にその歩行者等が喋り難いしその上手際良いとするとあの門札は揉み出さない
事実19: 何らかの物が削り出さないとするとそれは語り給うし揉み出す
事実20: もし「その歩行者等は手際良いということはない」ということは成り立つとすれば「それは消耗するかまたは喋り難いかあるいは両方ともだ」ということは成り立たない
事実21: 「その歩行者等は消耗しない」ということは正しい
事実22: もしもあの門札が嵌めないとすれば易しくない
事実23: もしも「なんらかのものは揉み出さない」ということは成り立つとしたら喋り難くない

仮説: 「あの門札は語り給うかもしくは消耗するかあるいは両方だ」ということは成り立たない
1. 事実17と事実4から、推論1: "あの門札は揉み出さない"が導かれる
2. 事実13から、推論2: "もしあの門札は揉み出さないならば「それは語り給うかもしくは消耗するかもしくは両方ともだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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