何かは市民道徳でない一方で読み書き算盤だ
fact1: この先王陛下はインプロビゼーションでない fact2: もし「とあるものは危なっかしくないがしつこい」ということは間違いであるならばそれは避け難いということはない fact3: もし仮にこの技能習得は変え難くないとしたら「それは危なっかしくない一方でしつこい」ということは偽だ fact4: 仮にとあるものが獲得すらないとしたら休憩する fact5: この深さ優先探索は読み書き算盤だ fact6: この技能習得は常連らしい fact7: もし仮にこの技能習得が休憩するしそれに妬ましいならばこの深さ優先探索は市民道徳であるということはない fact8: この技能習得はインプロビゼーションで妬ましい fact9: この技能習得は変え難いということはない fact10: もし仮にこの技能習得が避け難くないならば獲得すらない
fact2 -> int1: もし「この技能習得は危なっかしくない一方でしつこい」ということは誤っているとすると避け難くない; fact9 & fact3 -> int2: 「この技能習得は危なっかしくないがそれはしつこい」ということは成り立たない; int1 & int2 -> int3: この技能習得は避け難くない; int3 & fact10 -> int4: 「この技能習得は獲得すらない」ということは本当である; fact4 -> int5: この技能習得が獲得すらないとしたら休憩する; int4 & int5 -> int6: この技能習得は休憩する; fact8 -> int7: この技能習得は妬ましい; int6 & int7 -> int8: この技能習得は休憩するしさらにそれは妬ましい; int8 & fact7 -> int9: この深さ優先探索は市民道徳でない; int9 & fact5 -> int10: この深さ優先探索は市民道徳でないけれど読み書き算盤である; int10 -> hypothesis;
$facts$ = fact1: この先王陛下はインプロビゼーションでない fact2: もし「とあるものは危なっかしくないがしつこい」ということは間違いであるならばそれは避け難いということはない fact3: もし仮にこの技能習得は変え難くないとしたら「それは危なっかしくない一方でしつこい」ということは偽だ fact4: 仮にとあるものが獲得すらないとしたら休憩する fact5: この深さ優先探索は読み書き算盤だ fact6: この技能習得は常連らしい fact7: もし仮にこの技能習得が休憩するしそれに妬ましいならばこの深さ優先探索は市民道徳であるということはない fact8: この技能習得はインプロビゼーションで妬ましい fact9: この技能習得は変え難いということはない fact10: もし仮にこの技能習得が避け難くないならば獲得すらない ; $hypothesis$ = 何かは市民道徳でない一方で読み書き算盤だ ; $proof$ = 
fact2 -> int1: もし「この技能習得は危なっかしくない一方でしつこい」ということは誤っているとすると避け難くない; fact9 & fact3 -> int2: 「この技能習得は危なっかしくないがそれはしつこい」ということは成り立たない; int1 & int2 -> int3: この技能習得は避け難くない; int3 & fact10 -> int4: 「この技能習得は獲得すらない」ということは本当である; fact4 -> int5: この技能習得が獲得すらないとしたら休憩する; int4 & int5 -> int6: この技能習得は休憩する; fact8 -> int7: この技能習得は妬ましい; int6 & int7 -> int8: この技能習得は休憩するしさらにそれは妬ましい; int8 & fact7 -> int9: この深さ優先探索は市民道徳でない; int9 & fact5 -> int10: この深さ優先探索は市民道徳でないけれど読み書き算盤である; int10 -> hypothesis; __PROVED__
事実1: この先王陛下はインプロビゼーションでない
事実2: もし「とあるものは危なっかしくないがしつこい」ということは間違いであるならばそれは避け難いということはない
事実3: もし仮にこの技能習得は変え難くないとしたら「それは危なっかしくない一方でしつこい」ということは偽だ
事実4: 仮にとあるものが獲得すらないとしたら休憩する
事実5: この深さ優先探索は読み書き算盤だ
事実6: この技能習得は常連らしい
事実7: もし仮にこの技能習得が休憩するしそれに妬ましいならばこの深さ優先探索は市民道徳であるということはない
事実8: この技能習得はインプロビゼーションで妬ましい
事実9: この技能習得は変え難いということはない
事実10: もし仮にこの技能習得が避け難くないならば獲得すらない

仮説: 何かは市民道徳でない一方で読み書き算盤だ
1. 事実2から、推論1: "もし「この技能習得は危なっかしくない一方でしつこい」ということは誤っているとすると避け難くない"が導かれる
2. 事実9と事実3から、推論2: "「この技能習得は危なっかしくないがそれはしつこい」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この技能習得は避け難くない"が導かれる
4. 推論3と事実10から、推論4: "「この技能習得は獲得すらない」ということは本当である"が導かれる
5. 事実4から、推論5: "この技能習得が獲得すらないとしたら休憩する"が導かれる
6. 推論4と推論5から、推論6: "この技能習得は休憩する"が導かれる
7. 事実8から、推論7: "この技能習得は妬ましい"が導かれる
8. 推論6と推論7から、推論8: "この技能習得は休憩するしさらにそれは妬ましい"が導かれる
9. 推論8と事実7から、推論9: "この深さ優先探索は市民道徳でない"が導かれる
10. 推論9と事実5から、推論10: "この深さ優先探索は市民道徳でないけれど読み書き算盤である"が導かれる
11. 推論10から、仮説が導かれる

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