あのウィンドウ画面上は徴しない
fact1: もし「あの被相続人は変え難くない」ということは正しいとしたら「古畳でないがしかし疑り深い」ということは嘘である fact2: あの被相続人は語彙化しないけれどそれは柔らかい fact3: もし「あるものは徴するけど柔らかくない」ということは成り立たないとしたらそれは徴するということはない fact4: とあるものは平井城でないなら低年齢化する fact5: もしも「「あのウィンドウ画面上は柔らかくないしおまけに徴しない」ということは成り立たない」ということは確かであるならば「古畳だ」ということは成り立つ fact6: 「とある物は徴するということはないかまたはそれは区別し易いかもしくは両方ともだ」ということは成り立たないなら「柔らかい」ということは真実である fact7: もし仮に「あの被相続人は柔らかい」ということは成り立つとしたら「あの燕子外様が変え難くないしさらに縺れ込まない」ということは嘘である fact8: もしあの金融再生プログラムは柔らかいとすれば「あのウィンドウ画面上は区別し易くない一方でそれは柔らかい」ということは成り立たない fact9: もしもあの被相続人は徴しないとすれば「それは疑り深くないけど古畳である」ということは間違っている fact10: あの被相続人は疑り深い fact11: あのウィンドウ画面上は柔らかくないならば「区別し易くないしさらに疑り深い」ということは真実でない fact12: もし「あの金融再生プログラムは興奮し易いが取り沙汰しない」ということは成り立たないとすればあの被相続人は意味深くない fact13: もしも「あの金融再生プログラムは柔らかい」ということは確かであるとすると「あのウィンドウ画面上は区別し易くないしそれは柔らかくない」ということは間違いだ fact14: 「このヒストグラムは焼灼しないけど厭わしい」ということは事実だ fact15: 「あのウィンドウ画面上は区別し易いということはなくてそれに柔らかくない」ということは嘘なら「徴する」ということは真実だ fact16: 「あのウィンドウ画面上は区別し易くない一方で柔らかい」ということは成り立つということはない fact17: 「あの被相続人は徴しなくてそれにそれは変え難くない」ということは本当でないとしたらそれは柔らかい fact18: 仮にあのウィンドウ画面上は柔らかいとしたら「徴する」ということは確かである fact19: もしある物は意味深くないならば「それは徴しないか区別し易いかまたはどちらもだ」ということは間違いだ fact20: あの被相続人は古畳でないがしかしそれは疑り深い fact21: 何かは低年齢化するとしたら「興奮し易いけれど取り沙汰しない」ということは誤っている fact22: あの被相続人が変え難いならあの金融再生プログラムは柔らかい fact23: もし仮に「あの金融再生プログラムは古畳だ」ということは真実であるとすれば「あの被相続人は柔らかい」ということは成り立つ fact24: 「あのウィンドウ画面上は柔らかいということはないけれど変え難い」ということは本当である
void -> assump1: 以下のように仮定する。あの被相続人は変え難くない; fact1 & assump1 -> int1: 「あの被相続人は古畳でないけれど疑り深い」ということは誤っている; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの被相続人は変え難い; int3 & fact22 -> int4: あの金融再生プログラムは柔らかい; int4 & fact13 -> int5: 「「あのウィンドウ画面上は区別し易くないしそれは柔らかくない」ということは偽だ」ということは成り立つ; int5 & fact15 -> hypothesis;
「あの燕子外様は変え難くないし加えて縺れ込まない」ということは確かでない
fact26 -> int6: もしも「あの被相続人は徴しないかまたは区別し易いかあるいは両方である」ということは成り立たないならばそれは柔らかい; fact30 -> int7: 仮にあの被相続人は意味深くないとしたら「徴しないかあるいはそれは区別し易いか両方である」ということは偽だ; fact27 -> int8: 仮にあの金融再生プログラムは低年齢化すれば「それは興奮し易くてそれは取り沙汰しない」ということは誤りだ; fact28 -> int9: 「あの金融再生プログラムは平井城でない」ということは成り立つとするとそれは低年齢化する;
$facts$ = fact1: もし「あの被相続人は変え難くない」ということは正しいとしたら「古畳でないがしかし疑り深い」ということは嘘である fact2: あの被相続人は語彙化しないけれどそれは柔らかい fact3: もし「あるものは徴するけど柔らかくない」ということは成り立たないとしたらそれは徴するということはない fact4: とあるものは平井城でないなら低年齢化する fact5: もしも「「あのウィンドウ画面上は柔らかくないしおまけに徴しない」ということは成り立たない」ということは確かであるならば「古畳だ」ということは成り立つ fact6: 「とある物は徴するということはないかまたはそれは区別し易いかもしくは両方ともだ」ということは成り立たないなら「柔らかい」ということは真実である fact7: もし仮に「あの被相続人は柔らかい」ということは成り立つとしたら「あの燕子外様が変え難くないしさらに縺れ込まない」ということは嘘である fact8: もしあの金融再生プログラムは柔らかいとすれば「あのウィンドウ画面上は区別し易くない一方でそれは柔らかい」ということは成り立たない fact9: もしもあの被相続人は徴しないとすれば「それは疑り深くないけど古畳である」ということは間違っている fact10: あの被相続人は疑り深い fact11: あのウィンドウ画面上は柔らかくないならば「区別し易くないしさらに疑り深い」ということは真実でない fact12: もし「あの金融再生プログラムは興奮し易いが取り沙汰しない」ということは成り立たないとすればあの被相続人は意味深くない fact13: もしも「あの金融再生プログラムは柔らかい」ということは確かであるとすると「あのウィンドウ画面上は区別し易くないしそれは柔らかくない」ということは間違いだ fact14: 「このヒストグラムは焼灼しないけど厭わしい」ということは事実だ fact15: 「あのウィンドウ画面上は区別し易いということはなくてそれに柔らかくない」ということは嘘なら「徴する」ということは真実だ fact16: 「あのウィンドウ画面上は区別し易くない一方で柔らかい」ということは成り立つということはない fact17: 「あの被相続人は徴しなくてそれにそれは変え難くない」ということは本当でないとしたらそれは柔らかい fact18: 仮にあのウィンドウ画面上は柔らかいとしたら「徴する」ということは確かである fact19: もしある物は意味深くないならば「それは徴しないか区別し易いかまたはどちらもだ」ということは間違いだ fact20: あの被相続人は古畳でないがしかしそれは疑り深い fact21: 何かは低年齢化するとしたら「興奮し易いけれど取り沙汰しない」ということは誤っている fact22: あの被相続人が変え難いならあの金融再生プログラムは柔らかい fact23: もし仮に「あの金融再生プログラムは古畳だ」ということは真実であるとすれば「あの被相続人は柔らかい」ということは成り立つ fact24: 「あのウィンドウ画面上は柔らかいということはないけれど変え難い」ということは本当である ; $hypothesis$ = あのウィンドウ画面上は徴しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの被相続人は変え難くない; fact1 & assump1 -> int1: 「あの被相続人は古畳でないけれど疑り深い」ということは誤っている; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの被相続人は変え難い; int3 & fact22 -> int4: あの金融再生プログラムは柔らかい; int4 & fact13 -> int5: 「「あのウィンドウ画面上は区別し易くないしそれは柔らかくない」ということは偽だ」ということは成り立つ; int5 & fact15 -> hypothesis; __DISPROVED__
事実1: もし「あの被相続人は変え難くない」ということは正しいとしたら「古畳でないがしかし疑り深い」ということは嘘である
事実2: あの被相続人は語彙化しないけれどそれは柔らかい
事実3: もし「あるものは徴するけど柔らかくない」ということは成り立たないとしたらそれは徴するということはない
事実4: とあるものは平井城でないなら低年齢化する
事実5: もしも「「あのウィンドウ画面上は柔らかくないしおまけに徴しない」ということは成り立たない」ということは確かであるならば「古畳だ」ということは成り立つ
事実6: 「とある物は徴するということはないかまたはそれは区別し易いかもしくは両方ともだ」ということは成り立たないなら「柔らかい」ということは真実である
事実7: もし仮に「あの被相続人は柔らかい」ということは成り立つとしたら「あの燕子外様が変え難くないしさらに縺れ込まない」ということは嘘である
事実8: もしあの金融再生プログラムは柔らかいとすれば「あのウィンドウ画面上は区別し易くない一方でそれは柔らかい」ということは成り立たない
事実9: もしもあの被相続人は徴しないとすれば「それは疑り深くないけど古畳である」ということは間違っている
事実10: あの被相続人は疑り深い
事実11: あのウィンドウ画面上は柔らかくないならば「区別し易くないしさらに疑り深い」ということは真実でない
事実12: もし「あの金融再生プログラムは興奮し易いが取り沙汰しない」ということは成り立たないとすればあの被相続人は意味深くない
事実13: もしも「あの金融再生プログラムは柔らかい」ということは確かであるとすると「あのウィンドウ画面上は区別し易くないしそれは柔らかくない」ということは間違いだ
事実14: 「このヒストグラムは焼灼しないけど厭わしい」ということは事実だ
事実15: 「あのウィンドウ画面上は区別し易いということはなくてそれに柔らかくない」ということは嘘なら「徴する」ということは真実だ
事実16: 「あのウィンドウ画面上は区別し易くない一方で柔らかい」ということは成り立つということはない
事実17: 「あの被相続人は徴しなくてそれにそれは変え難くない」ということは本当でないとしたらそれは柔らかい
事実18: 仮にあのウィンドウ画面上は柔らかいとしたら「徴する」ということは確かである
事実19: もしある物は意味深くないならば「それは徴しないか区別し易いかまたはどちらもだ」ということは間違いだ
事実20: あの被相続人は古畳でないがしかしそれは疑り深い
事実21: 何かは低年齢化するとしたら「興奮し易いけれど取り沙汰しない」ということは誤っている
事実22: あの被相続人が変え難いならあの金融再生プログラムは柔らかい
事実23: もし仮に「あの金融再生プログラムは古畳だ」ということは真実であるとすれば「あの被相続人は柔らかい」ということは成り立つ
事実24: 「あのウィンドウ画面上は柔らかいということはないけれど変え難い」ということは本当である

仮説: あのウィンドウ画面上は徴しない
1. 仮定1: 以下のように仮定する。あの被相続人は変え難くない
2. 事実1と仮定1から、推論1: "「あの被相続人は古畳でないけれど疑り深い」ということは誤っている"が導かれる
3. 推論1と事実20から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの被相続人は変え難い"が導かれる
5. 推論3と事実22から、推論4: "あの金融再生プログラムは柔らかい"が導かれる
6. 推論4と事実13から、推論5: "「「あのウィンドウ画面上は区別し易くないしそれは柔らかくない」ということは偽だ」ということは成り立つ"が導かれる
7. 推論5と事実15から、仮説が否定される

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