あの花梨灯は覚え難くない
fact1: あの浪人達は支配的地位でないかもしくは合意でない fact2: もしも「あの浪人達は隠るけれど覚え難くない」ということは事実と異なるとすればあのチャイニーズは隠らない fact3: 予測し易い物は覚え難い fact4: もしも「あの浪人達は増え難い一方で写真機でない」ということは事実と異なるとすればあの花梨灯は予測し易い fact5: 仮になにがしかの物が合意でないとすれば隠る fact6: もしもあの浪人達は増え難いが写真機でないなら「このリテーナーは御忙しくない」ということは成り立つ fact7: もしあるものは合意でないならば「それは予測し易いが訪問でない」ということは成り立たない fact8: 仮に「なにがしかの物は予測し易い一方で訪問でない」ということは本当でないとするとそれは予測し易くない fact9: もし仮になにがしかのものは御忙しくないならば「隠るし汚染するということはない」ということは事実でない fact10: このリテーナーは隠る fact11: なにがしかの物が隠らないならば汚染しないしさらに御忙しいということはない fact12: あの浪人達は増え難い fact13: 何かは合意でないとすれば「隠るししかも汚染しない」ということは確かだ fact14: 「「生ぜないしそれに訪問でない」ということは偽な」物はある fact15: もし「「生ぜないし訪問でない」ということは事実と異なる」ものがあるとするとこのリテーナーは合意であるということはない fact16: もしも何らかのものが支配的地位だということはないかもしくは合意でないとすれば「それは合意でない」ということは嘘でない fact17: ある物は生ずるということはなくて更に訪問でない fact18: 仮に何らかの物は予測し易くないなら「「隠るししかもそれは覚え難くない」ということは正しい」ということは成り立たない fact19: もしも「訪問である」物があるとしたらこのリテーナーは合意でない
void -> assump1: 以下のように仮定する。あの浪人達は増え難いが写真機だということはない; fact6 & assump1 -> int1: このリテーナーは御忙しくない; fact9 -> int2: もしもこのリテーナーは御忙しくないなら「隠るしその上それは汚染しない」ということは嘘である; int1 & int2 -> int3: 「このリテーナーは隠る一方で汚染するということはない」ということは事実と異なる; fact14 & fact15 -> int4: このリテーナーは合意でない; fact13 -> int5: 仮にこのリテーナーが合意だということはないとしたらそれは隠るし更に汚染しない; int4 & int5 -> int6: このリテーナーは隠る一方で汚染しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの浪人達は増え難いがしかしそれは写真機でない」ということは誤っている; int8 & fact4 -> int9: あの花梨灯は予測し易い; fact3 -> int10: もしもあの花梨灯が予測し易いならばそれは覚え難い; int9 & int10 -> hypothesis;
そのチャイニーズは御忙しくない
fact22 -> int11: もしもそのチャイニーズが隠るということはないならばそれは汚染しないしその上それは御忙しくない; fact20 -> int12: もし仮にあの浪人達は予測し易くないならば「それは隠るしそれにそれは覚え難くない」ということは成り立たない; fact21 -> int13: 「あの浪人達は予測し易いがしかし訪問でない」ということは偽ならばそれは予測し易くない; fact24 -> int14: もしあの浪人達は合意でないならば「それは予測し易い一方で訪問でない」ということは成り立たない; fact26 -> int15: もし仮にあの浪人達が支配的地位でないかあるいは合意でないかもしくは両方ともならそれは合意でない; int15 & fact23 -> int16: あの浪人達は合意でない; int14 & int16 -> int17: 「あの浪人達は予測し易い一方でそれは訪問であるということはない」ということは偽である; int13 & int17 -> int18: 「あの浪人達は予測し易いということはない」ということは成り立つ; int12 & int18 -> int19: 「あの浪人達は隠る一方で覚え難くない」ということは真実でない; fact25 & int19 -> int20: そのチャイニーズは隠らない; int11 & int20 -> int21: そのチャイニーズは汚染しなくて更に御忙しくない; int21 -> hypothesis;
$facts$ = fact1: あの浪人達は支配的地位でないかもしくは合意でない fact2: もしも「あの浪人達は隠るけれど覚え難くない」ということは事実と異なるとすればあのチャイニーズは隠らない fact3: 予測し易い物は覚え難い fact4: もしも「あの浪人達は増え難い一方で写真機でない」ということは事実と異なるとすればあの花梨灯は予測し易い fact5: 仮になにがしかの物が合意でないとすれば隠る fact6: もしもあの浪人達は増え難いが写真機でないなら「このリテーナーは御忙しくない」ということは成り立つ fact7: もしあるものは合意でないならば「それは予測し易いが訪問でない」ということは成り立たない fact8: 仮に「なにがしかの物は予測し易い一方で訪問でない」ということは本当でないとするとそれは予測し易くない fact9: もし仮になにがしかのものは御忙しくないならば「隠るし汚染するということはない」ということは事実でない fact10: このリテーナーは隠る fact11: なにがしかの物が隠らないならば汚染しないしさらに御忙しいということはない fact12: あの浪人達は増え難い fact13: 何かは合意でないとすれば「隠るししかも汚染しない」ということは確かだ fact14: 「「生ぜないしそれに訪問でない」ということは偽な」物はある fact15: もし「「生ぜないし訪問でない」ということは事実と異なる」ものがあるとするとこのリテーナーは合意であるということはない fact16: もしも何らかのものが支配的地位だということはないかもしくは合意でないとすれば「それは合意でない」ということは嘘でない fact17: ある物は生ずるということはなくて更に訪問でない fact18: 仮に何らかの物は予測し易くないなら「「隠るししかもそれは覚え難くない」ということは正しい」ということは成り立たない fact19: もしも「訪問である」物があるとしたらこのリテーナーは合意でない ; $hypothesis$ = あの花梨灯は覚え難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの浪人達は増え難いが写真機だということはない; fact6 & assump1 -> int1: このリテーナーは御忙しくない; fact9 -> int2: もしもこのリテーナーは御忙しくないなら「隠るしその上それは汚染しない」ということは嘘である; int1 & int2 -> int3: 「このリテーナーは隠る一方で汚染するということはない」ということは事実と異なる; fact14 & fact15 -> int4: このリテーナーは合意でない; fact13 -> int5: 仮にこのリテーナーが合意だということはないとしたらそれは隠るし更に汚染しない; int4 & int5 -> int6: このリテーナーは隠る一方で汚染しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの浪人達は増え難いがしかしそれは写真機でない」ということは誤っている; int8 & fact4 -> int9: あの花梨灯は予測し易い; fact3 -> int10: もしもあの花梨灯が予測し易いならばそれは覚え難い; int9 & int10 -> hypothesis; __DISPROVED__
事実1: あの浪人達は支配的地位でないかもしくは合意でない
事実2: もしも「あの浪人達は隠るけれど覚え難くない」ということは事実と異なるとすればあのチャイニーズは隠らない
事実3: 予測し易い物は覚え難い
事実4: もしも「あの浪人達は増え難い一方で写真機でない」ということは事実と異なるとすればあの花梨灯は予測し易い
事実5: 仮になにがしかの物が合意でないとすれば隠る
事実6: もしもあの浪人達は増え難いが写真機でないなら「このリテーナーは御忙しくない」ということは成り立つ
事実7: もしあるものは合意でないならば「それは予測し易いが訪問でない」ということは成り立たない
事実8: 仮に「なにがしかの物は予測し易い一方で訪問でない」ということは本当でないとするとそれは予測し易くない
事実9: もし仮になにがしかのものは御忙しくないならば「隠るし汚染するということはない」ということは事実でない
事実10: このリテーナーは隠る
事実11: なにがしかの物が隠らないならば汚染しないしさらに御忙しいということはない
事実12: あの浪人達は増え難い
事実13: 何かは合意でないとすれば「隠るししかも汚染しない」ということは確かだ
事実14: 「「生ぜないしそれに訪問でない」ということは偽な」物はある
事実15: もし「「生ぜないし訪問でない」ということは事実と異なる」ものがあるとするとこのリテーナーは合意であるということはない
事実16: もしも何らかのものが支配的地位だということはないかもしくは合意でないとすれば「それは合意でない」ということは嘘でない
事実17: ある物は生ずるということはなくて更に訪問でない
事実18: 仮に何らかの物は予測し易くないなら「「隠るししかもそれは覚え難くない」ということは正しい」ということは成り立たない
事実19: もしも「訪問である」物があるとしたらこのリテーナーは合意でない

仮説: あの花梨灯は覚え難くない
1. 仮定1: 以下のように仮定する。あの浪人達は増え難いが写真機だということはない
2. 事実6と仮定1から、推論1: "このリテーナーは御忙しくない"が導かれる
3. 事実9から、推論2: "もしもこのリテーナーは御忙しくないなら「隠るしその上それは汚染しない」ということは嘘である"が導かれる
4. 推論1と推論2から、推論3: "「このリテーナーは隠る一方で汚染するということはない」ということは事実と異なる"が導かれる
5. 事実14と事実15から、推論4: "このリテーナーは合意でない"が導かれる
6. 事実13から、推論5: "仮にこのリテーナーが合意だということはないとしたらそれは隠るし更に汚染しない"が導かれる
7. 推論4と推論5から、推論6: "このリテーナーは隠る一方で汚染しない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「あの浪人達は増え難いがしかしそれは写真機でない」ということは誤っている"が導かれる
10. 推論8と事実4から、推論9: "あの花梨灯は予測し易い"が導かれる
11. 事実3から、推論10: "もしもあの花梨灯が予測し易いならばそれは覚え難い"が導かれる
12. 推論9と推論10から、仮説が否定される

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