「そのポンドは腫瘤性病変でしかも書き慣れる」ということは誤っている
fact1: もし仮になにがしかのものは極めないとすれば「「それは和気でないしツールバー／コマンドでない」ということは成り立つ」ということは本当でない fact2: 仮に「その長期刑が加え混ぜるということはないしさらに歩き易くない」ということは成り立たないとしたらそのポンドは歩き易い fact3: 「「歩き易いということはないし加えて漏れ易くない」ということは成り立たない」ものはある fact4: このトップコートは医療・看護でないけれど噂話である fact5: 仮に「そのポンドは和気でなくてツールバー／コマンドでない」ということは誤っているとすればあの一対一は漏れ易くない fact6: 「そのポンドは好ましくてかつそれは書き慣れる」ということは成り立たない fact7: もしも「そのポンドは好ましくない一方で書き慣れる」ということは誤っているとすればそれは極めない fact8: その長期刑が漏れ易いしその上和気ならあの一対一は和気でない fact9: 歩き易いものは腫瘤性病変だ fact10: あの一対一は漏れ易い fact11: 仮にその長期刑が歩き易いならそのポンドは歩き易い fact12: もしもある物は極めないならば「和気でないし更にそれはツールバー／コマンドである」ということは成り立たない fact13: もし「とあるものはツールバー／コマンドでない一方で和気である」ということは事実でないとすると和気でない fact14: もし仮にそのポンドが好ましいとしたら極めない fact15: 「その長期刑は加え混ぜないし歩き易くない」ということは誤りだ fact16: 仮にあの一対一は和気でないとしたら「それは極めるしまた腫瘤性病変だ」ということは成り立たない
void -> assump1: 以下のように仮定する。「そのポンドは好ましくない一方で書き慣れる」ということは成り立たない; fact7 & assump1 -> int1: そのポンドは極めない; fact1 -> int2: そのポンドは極めないとすると「それは和気でなくてそれにそれはツールバー／コマンドでない」ということは誤っている; int1 & int2 -> int3: 「そのポンドは和気でなくて更にそれはツールバー／コマンドでない」ということは誤っている; int3 & fact5 -> int4: あの一対一は漏れ易くない; int4 & fact10 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのポンドは好ましくないがしかし書き慣れる; int6 -> int7: そのポンドは書き慣れる; fact9 -> int8: もしもそのポンドが歩き易いとするとそれは腫瘤性病変だ; fact2 & fact15 -> int9: そのポンドは歩き易い; int8 & int9 -> int10: 「そのポンドは腫瘤性病変だ」ということは事実である; int7 & int10 -> hypothesis;
その長期刑は書き慣れる
fact17 -> int11: もし「そのポンドはツールバー／コマンドでないがしかし和気である」ということは間違いであるならそれは和気でない;
$facts$ = fact1: もし仮になにがしかのものは極めないとすれば「「それは和気でないしツールバー／コマンドでない」ということは成り立つ」ということは本当でない fact2: 仮に「その長期刑が加え混ぜるということはないしさらに歩き易くない」ということは成り立たないとしたらそのポンドは歩き易い fact3: 「「歩き易いということはないし加えて漏れ易くない」ということは成り立たない」ものはある fact4: このトップコートは医療・看護でないけれど噂話である fact5: 仮に「そのポンドは和気でなくてツールバー／コマンドでない」ということは誤っているとすればあの一対一は漏れ易くない fact6: 「そのポンドは好ましくてかつそれは書き慣れる」ということは成り立たない fact7: もしも「そのポンドは好ましくない一方で書き慣れる」ということは誤っているとすればそれは極めない fact8: その長期刑が漏れ易いしその上和気ならあの一対一は和気でない fact9: 歩き易いものは腫瘤性病変だ fact10: あの一対一は漏れ易い fact11: 仮にその長期刑が歩き易いならそのポンドは歩き易い fact12: もしもある物は極めないならば「和気でないし更にそれはツールバー／コマンドである」ということは成り立たない fact13: もし「とあるものはツールバー／コマンドでない一方で和気である」ということは事実でないとすると和気でない fact14: もし仮にそのポンドが好ましいとしたら極めない fact15: 「その長期刑は加え混ぜないし歩き易くない」ということは誤りだ fact16: 仮にあの一対一は和気でないとしたら「それは極めるしまた腫瘤性病変だ」ということは成り立たない ; $hypothesis$ = 「そのポンドは腫瘤性病変でしかも書き慣れる」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのポンドは好ましくない一方で書き慣れる」ということは成り立たない; fact7 & assump1 -> int1: そのポンドは極めない; fact1 -> int2: そのポンドは極めないとすると「それは和気でなくてそれにそれはツールバー／コマンドでない」ということは誤っている; int1 & int2 -> int3: 「そのポンドは和気でなくて更にそれはツールバー／コマンドでない」ということは誤っている; int3 & fact5 -> int4: あの一対一は漏れ易くない; int4 & fact10 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのポンドは好ましくないがしかし書き慣れる; int6 -> int7: そのポンドは書き慣れる; fact9 -> int8: もしもそのポンドが歩き易いとするとそれは腫瘤性病変だ; fact2 & fact15 -> int9: そのポンドは歩き易い; int8 & int9 -> int10: 「そのポンドは腫瘤性病変だ」ということは事実である; int7 & int10 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものは極めないとすれば「「それは和気でないしツールバー／コマンドでない」ということは成り立つ」ということは本当でない
事実2: 仮に「その長期刑が加え混ぜるということはないしさらに歩き易くない」ということは成り立たないとしたらそのポンドは歩き易い
事実3: 「「歩き易いということはないし加えて漏れ易くない」ということは成り立たない」ものはある
事実4: このトップコートは医療・看護でないけれど噂話である
事実5: 仮に「そのポンドは和気でなくてツールバー／コマンドでない」ということは誤っているとすればあの一対一は漏れ易くない
事実6: 「そのポンドは好ましくてかつそれは書き慣れる」ということは成り立たない
事実7: もしも「そのポンドは好ましくない一方で書き慣れる」ということは誤っているとすればそれは極めない
事実8: その長期刑が漏れ易いしその上和気ならあの一対一は和気でない
事実9: 歩き易いものは腫瘤性病変だ
事実10: あの一対一は漏れ易い
事実11: 仮にその長期刑が歩き易いならそのポンドは歩き易い
事実12: もしもある物は極めないならば「和気でないし更にそれはツールバー／コマンドである」ということは成り立たない
事実13: もし「とあるものはツールバー／コマンドでない一方で和気である」ということは事実でないとすると和気でない
事実14: もし仮にそのポンドが好ましいとしたら極めない
事実15: 「その長期刑は加え混ぜないし歩き易くない」ということは誤りだ
事実16: 仮にあの一対一は和気でないとしたら「それは極めるしまた腫瘤性病変だ」ということは成り立たない

仮説: 「そのポンドは腫瘤性病変でしかも書き慣れる」ということは誤っている
1. 仮定1: 以下のように仮定する。「そのポンドは好ましくない一方で書き慣れる」ということは成り立たない
2. 事実7と仮定1から、推論1: "そのポンドは極めない"が導かれる
3. 事実1から、推論2: "そのポンドは極めないとすると「それは和気でなくてそれにそれはツールバー／コマンドでない」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "「そのポンドは和気でなくて更にそれはツールバー／コマンドでない」ということは誤っている"が導かれる
5. 推論3と事実5から、推論4: "あの一対一は漏れ易くない"が導かれる
6. 推論4と事実10から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのポンドは好ましくないがしかし書き慣れる"が導かれる
8. 推論6から、推論7: "そのポンドは書き慣れる"が導かれる
9. 事実9から、推論8: "もしもそのポンドが歩き易いとするとそれは腫瘤性病変だ"が導かれる
10. 事実2と事実15から、推論9: "そのポンドは歩き易い"が導かれる
11. 推論8と推論9から、推論10: "「そのポンドは腫瘤性病変だ」ということは事実である"が導かれる
12. 推論7と推論10から、仮説が否定される

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