あの上皮化はロールストランドである
fact1: あの上皮化がロールストランドであるとしたらあのインデックス．ＨＴＭＬは仄暗い fact2: もし「何らかの物は混同し易いかまたは遣り辛くないかあるいは両方ともだ」ということは誤っているならそれは利用し易い fact3: もし仮にとあるものは催さないとしたら「ロールストランドでなくてしかもそれは仄暗い」ということは成り立たない fact4: もしあのインデックス．ＨＴＭＬは仄暗いならば「あの業務上は催さないし仄暗くない」ということは成り立たない fact5: もし仮にあのインデックス．ＨＴＭＬは仄暗いならば「あの業務上は催すということはないが仄暗い」ということは成り立たない fact6: もしあの河口堰は伝え難くないとしたら「説き明かさなくて更にそれは働き易さである」ということは成り立つということはない fact7: もし「あのインデックス．ＨＴＭＬは骨っぽいがしかしばてない」ということは間違いであるとすればそれは催さない fact8: 「あの業務上は催すということはないがそれは仄暗い」ということは嘘である fact9: 「「あのインデックス．ＨＴＭＬはばてないし加えてＡＤＳＬでない」ということは誤りである」ということは確かだ fact10: もし仮にあの業務上が仄暗いならそれはばてない fact11: あのオプション設定はばてる fact12: 「「あのインデックス．ＨＴＭＬはロールストランドであるということはなくておまけに仄暗くない」ということは成り立つ」ということは成り立たないならそれはばてない fact13: 「あの河口堰は伝え難い」ということは偽だ fact14: 「あのインデックス．ＨＴＭＬはロールストランドだ」ということは事実である fact15: あの業務上はばてる fact16: もしも「あの河口堰は説き明かすということはないけれど働き易さだ」ということは成り立たないならその表題・見出しは働き易さだ fact17: もし仮に「その表題・見出しは働き易さだ」ということは正しいとしたらそれは生み易い fact18: この諸編はばてない fact19: 仮にあの業務上は利用し易いとすると「あのインデックス．ＨＴＭＬは骨っぽいけれどばてない」ということは間違いだ fact20: あのインデックス．ＨＴＭＬは催す fact21: もし仮に「あの業務上は催さないし仄暗くない」ということは偽であるとすればそれはばてない
void -> assump1: 以下のように仮定する。あの上皮化はロールストランドである; fact1 & assump1 -> int1: あのインデックス．ＨＴＭＬは仄暗い; int1 & fact4 -> int2: 「あの業務上は催さないしその上仄暗くない」ということは事実と異なる; int2 & fact21 -> int3: あの業務上はばてるということはない; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの上皮化はロールストランドである
fact23 -> int5: もしあのインデックス．ＨＴＭＬは催さないとしたら「それはロールストランドでないしさらに仄暗い」ということは確かでない; fact29 -> int6: 「あの業務上は混同し易いかあるいはそれは遣り辛いということはない」ということは成り立つということはないとすると利用し易い; fact28 & fact22 -> int7: 「あの河口堰は説き明かすということはないが働き易さである」ということは成り立つということはない; fact27 & int7 -> int8: その表題・見出しは働き易さだ; fact26 & int8 -> int9: その表題・見出しは生み易い; int9 -> int10: 「生み易い」物はある;
$facts$ = fact1: あの上皮化がロールストランドであるとしたらあのインデックス．ＨＴＭＬは仄暗い fact2: もし「何らかの物は混同し易いかまたは遣り辛くないかあるいは両方ともだ」ということは誤っているならそれは利用し易い fact3: もし仮にとあるものは催さないとしたら「ロールストランドでなくてしかもそれは仄暗い」ということは成り立たない fact4: もしあのインデックス．ＨＴＭＬは仄暗いならば「あの業務上は催さないし仄暗くない」ということは成り立たない fact5: もし仮にあのインデックス．ＨＴＭＬは仄暗いならば「あの業務上は催すということはないが仄暗い」ということは成り立たない fact6: もしあの河口堰は伝え難くないとしたら「説き明かさなくて更にそれは働き易さである」ということは成り立つということはない fact7: もし「あのインデックス．ＨＴＭＬは骨っぽいがしかしばてない」ということは間違いであるとすればそれは催さない fact8: 「あの業務上は催すということはないがそれは仄暗い」ということは嘘である fact9: 「「あのインデックス．ＨＴＭＬはばてないし加えてＡＤＳＬでない」ということは誤りである」ということは確かだ fact10: もし仮にあの業務上が仄暗いならそれはばてない fact11: あのオプション設定はばてる fact12: 「「あのインデックス．ＨＴＭＬはロールストランドであるということはなくておまけに仄暗くない」ということは成り立つ」ということは成り立たないならそれはばてない fact13: 「あの河口堰は伝え難い」ということは偽だ fact14: 「あのインデックス．ＨＴＭＬはロールストランドだ」ということは事実である fact15: あの業務上はばてる fact16: もしも「あの河口堰は説き明かすということはないけれど働き易さだ」ということは成り立たないならその表題・見出しは働き易さだ fact17: もし仮に「その表題・見出しは働き易さだ」ということは正しいとしたらそれは生み易い fact18: この諸編はばてない fact19: 仮にあの業務上は利用し易いとすると「あのインデックス．ＨＴＭＬは骨っぽいけれどばてない」ということは間違いだ fact20: あのインデックス．ＨＴＭＬは催す fact21: もし仮に「あの業務上は催さないし仄暗くない」ということは偽であるとすればそれはばてない ; $hypothesis$ = あの上皮化はロールストランドである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの上皮化はロールストランドである; fact1 & assump1 -> int1: あのインデックス．ＨＴＭＬは仄暗い; int1 & fact4 -> int2: 「あの業務上は催さないしその上仄暗くない」ということは事実と異なる; int2 & fact21 -> int3: あの業務上はばてるということはない; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの上皮化がロールストランドであるとしたらあのインデックス．ＨＴＭＬは仄暗い
事実2: もし「何らかの物は混同し易いかまたは遣り辛くないかあるいは両方ともだ」ということは誤っているならそれは利用し易い
事実3: もし仮にとあるものは催さないとしたら「ロールストランドでなくてしかもそれは仄暗い」ということは成り立たない
事実4: もしあのインデックス．ＨＴＭＬは仄暗いならば「あの業務上は催さないし仄暗くない」ということは成り立たない
事実5: もし仮にあのインデックス．ＨＴＭＬは仄暗いならば「あの業務上は催すということはないが仄暗い」ということは成り立たない
事実6: もしあの河口堰は伝え難くないとしたら「説き明かさなくて更にそれは働き易さである」ということは成り立つということはない
事実7: もし「あのインデックス．ＨＴＭＬは骨っぽいがしかしばてない」ということは間違いであるとすればそれは催さない
事実8: 「あの業務上は催すということはないがそれは仄暗い」ということは嘘である
事実9: 「「あのインデックス．ＨＴＭＬはばてないし加えてＡＤＳＬでない」ということは誤りである」ということは確かだ
事実10: もし仮にあの業務上が仄暗いならそれはばてない
事実11: あのオプション設定はばてる
事実12: 「「あのインデックス．ＨＴＭＬはロールストランドであるということはなくておまけに仄暗くない」ということは成り立つ」ということは成り立たないならそれはばてない
事実13: 「あの河口堰は伝え難い」ということは偽だ
事実14: 「あのインデックス．ＨＴＭＬはロールストランドだ」ということは事実である
事実15: あの業務上はばてる
事実16: もしも「あの河口堰は説き明かすということはないけれど働き易さだ」ということは成り立たないならその表題・見出しは働き易さだ
事実17: もし仮に「その表題・見出しは働き易さだ」ということは正しいとしたらそれは生み易い
事実18: この諸編はばてない
事実19: 仮にあの業務上は利用し易いとすると「あのインデックス．ＨＴＭＬは骨っぽいけれどばてない」ということは間違いだ
事実20: あのインデックス．ＨＴＭＬは催す
事実21: もし仮に「あの業務上は催さないし仄暗くない」ということは偽であるとすればそれはばてない

仮説: あの上皮化はロールストランドである
1. 仮定1: 以下のように仮定する。あの上皮化はロールストランドである
2. 事実1と仮定1から、推論1: "あのインデックス．ＨＴＭＬは仄暗い"が導かれる
3. 推論1と事実4から、推論2: "「あの業務上は催さないしその上仄暗くない」ということは事実と異なる"が導かれる
4. 推論2と事実21から、推論3: "あの業務上はばてるということはない"が導かれる
5. 推論3と事実15から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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