「「あの鐶は飛脚屋でないし加えて手挟まない」ということは偽だ」ということは本当である
fact1: 「地球レベルである」ものはある fact2: 何かは水洗いしない fact3: その繰り越しは地球レベルであるかあるいはそれは水洗いするかもしくは両方ともだ fact4: その繰り越しは地球レベルだ fact5: あの献上は手挟むとすれば「あの鐶は飛脚屋だけれど手挟まない」ということは誤りである fact6: 「「地球レベルであるかあるいは水洗いするかあるいはどちらもである」ということは成り立たない」ものはある fact7: もし仮になにがしかのものが納品するとしたら再発し易い fact8: 「あの鐶は飛脚屋でないがしかし手挟む」ということは成り立たない fact9: もし「「地球レベルでないか水洗いするかまたは両方ともである」ということは成り立たない」物があるとしたらあの献上は壊れ易い fact10: 「あの鐶は飛脚屋であるけど手挟まない」ということは誤っている fact11: もし「何かは壊れ易いがしかし再発し易くない」ということは嘘ならそれは再発し易い fact12: もしもあの献上は手挟めば「あの鐶は飛脚屋でないしまた手挟まない」ということは確かでない fact13: その緊急記者会見は再発し易くない fact14: もしその繰り越しが地球レベルでないかあるいは水洗いするか両方ともであるならばその緊急記者会見は納品する fact15: 「あの献上は壊れ易い」ということは正しいなら「「その繰り越しは水洗いするということはなくて壊れ易くない」ということは確かだ」ということは誤りである fact16: 「あの献上は手挟む」ということは正しいとすると「あの鐶は飛脚屋だということはない一方でそれは手挟む」ということは間違いだ fact17: その緊急記者会見は飛脚屋でない fact18: もしその繰り越しが地球レベルだということはないとするとその緊急記者会見は納品する fact19: もしも何らかのものが再発し易いとしたら飛脚屋でなくてまたそれは手挟まない fact20: 「「忌まないかあるいは申し訳無い」ということは嘘である」物はある fact21: 「地球レベルでないかまたは水洗いするかもしくはどちらもな」物はある fact22: もしあの鐶が帝国データバンク調査報告だということはないとしたら茶色っぽいしその上納品する fact23: 壊れ易い物は手挟む
void -> assump1: 以下のように仮定する。その繰り越しは地球レベルでないか水洗いするかもしくは両方だ; fact14 & assump1 -> int1: その緊急記者会見は納品する; fact7 -> int2: もしその緊急記者会見が納品するとするとそれは再発し易い; int1 & int2 -> int3: その緊急記者会見は再発し易い; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その繰り越しは地球レベルでないかあるいはそれは水洗いする」ということは成り立たない; int5 -> int6: 「「地球レベルでないかもしくは水洗いするかまたはどちらもである」ということは成り立たない」物はある; int6 & fact9 -> int7: あの献上は壊れ易い; fact23 -> int8: もしもあの献上が壊れ易いならば手挟む; int7 & int8 -> int9: あの献上は手挟む; int9 & fact12 -> hypothesis;
あの鐶は飛脚屋であるということはないしさらに手挟まない
fact24 -> int10: 「あの鐶は再発し易い」ということは成り立つとすれば飛脚屋でないし加えて手挟まない; fact26 -> int11: もし「あの鐶は壊れ易いがしかしそれは再発し易くない」ということは成り立たないとするとそれは再発し易い;
$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$ = 
void -> assump1: 以下のように仮定する。その繰り越しは地球レベルでないか水洗いするかもしくは両方だ; fact14 & assump1 -> int1: その緊急記者会見は納品する; fact7 -> int2: もしその緊急記者会見が納品するとするとそれは再発し易い; int1 & int2 -> int3: その緊急記者会見は再発し易い; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その繰り越しは地球レベルでないかあるいはそれは水洗いする」ということは成り立たない; int5 -> int6: 「「地球レベルでないかもしくは水洗いするかまたはどちらもである」ということは成り立たない」物はある; int6 & fact9 -> int7: あの献上は壊れ易い; fact23 -> int8: もしもあの献上が壊れ易いならば手挟む; int7 & int8 -> int9: あの献上は手挟む; int9 & fact12 -> 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. 仮定1: 以下のように仮定する。その繰り越しは地球レベルでないか水洗いするかもしくは両方だ
2. 事実14と仮定1から、推論1: "その緊急記者会見は納品する"が導かれる
3. 事実7から、推論2: "もしその緊急記者会見が納品するとするとそれは再発し易い"が導かれる
4. 推論1と推論2から、推論3: "その緊急記者会見は再発し易い"が導かれる
5. 推論3と事実13から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その繰り越しは地球レベルでないかあるいはそれは水洗いする」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「地球レベルでないかもしくは水洗いするかまたはどちらもである」ということは成り立たない」物はある"が導かれる
8. 推論6と事実9から、推論7: "あの献上は壊れ易い"が導かれる
9. 事実23から、推論8: "もしもあの献上が壊れ易いならば手挟む"が導かれる
10. 推論7と推論8から、推論9: "あの献上は手挟む"が導かれる
11. 推論9と事実12から、仮説が導かれる

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