この氷上は攻め始めないし温度調節でない
fact1: もしもこの氷上は攻め始めないとすると「この三段階評価は温度調節だけれどそれは攻め始めない」ということは間違いである fact2: もし仮にこの三段階評価は攻め始めないとすれば「その行政機構は温度調節であるが細かくない」ということは嘘である fact3: 仮に「生まれ難いということはない」物があればこの三段階評価は温度調節でない fact4: もしこの三段階評価は攻め始めないとすると「この氷上は温度調節でないけどそれは攻め始める」ということは正しくない fact5: もし仮になにかは温度調節でないとすれば「それは御強請りしなくてしかも竈でない」ということは成り立つということはない fact6: 「この三段階評価は細かいし垂れ下がる」ということは成り立たないとすればあの氷上は細かくない fact7: もしこの三段階評価は温度調節でないとすれば「この氷上は攻め始めないしそれに温度調節でない」ということは成り立たない fact8: この三段階評価は温度調節でないとすれば「この氷上は攻め始める一方で温度調節でない」ということは成り立たない fact9: もし何らかのものは暮らし易くないとすると「細かいしその上垂れ下がる」ということは成り立たない fact10: 「もし仮に「「創設的身分行為でなくておまけに生まれ難い」ということは成り立たない」ものがあるとしたらこの三段階評価は温度調節でない」ということは真実だ fact11: 「この氷上は攻め始めないけどそれは温度調節だ」ということは誤っている fact12: 細かくない物は攻め始めなくてまた温度調節だということはない fact13: 「この三段階評価は生まれ難くない一方で溜まり易い」ということは誤りだ fact14: 「この氷上は攻め始める一方で温度調節でない」ということは成り立たない fact15: この氷上は暮らし易い fact16: もし仮にこの三段階評価は攻め始めないならば「この氷上は温度調節であるがしかし攻め始めるということはない」ということは成り立たない fact17: 「「創設的身分行為でなくて生まれ難い」ということは成り立たない」物はある
fact17 & fact10 -> int1: この三段階評価は温度調節でない; int1 & fact7 -> hypothesis;
この氷上は攻め始めなくてかつ温度調節でない
fact20 -> int2: もしもこの氷上が細かいということはないならばそれは攻め始めなくて更に温度調節でない; fact18 -> int3: もし仮にこの三段階評価は暮らし易くないならば「それは細かいししかも垂れ下がる」ということは成り立たない;
$facts$ = fact1: もしもこの氷上は攻め始めないとすると「この三段階評価は温度調節だけれどそれは攻め始めない」ということは間違いである fact2: もし仮にこの三段階評価は攻め始めないとすれば「その行政機構は温度調節であるが細かくない」ということは嘘である fact3: 仮に「生まれ難いということはない」物があればこの三段階評価は温度調節でない fact4: もしこの三段階評価は攻め始めないとすると「この氷上は温度調節でないけどそれは攻め始める」ということは正しくない fact5: もし仮になにかは温度調節でないとすれば「それは御強請りしなくてしかも竈でない」ということは成り立つということはない fact6: 「この三段階評価は細かいし垂れ下がる」ということは成り立たないとすればあの氷上は細かくない fact7: もしこの三段階評価は温度調節でないとすれば「この氷上は攻め始めないしそれに温度調節でない」ということは成り立たない fact8: この三段階評価は温度調節でないとすれば「この氷上は攻め始める一方で温度調節でない」ということは成り立たない fact9: もし何らかのものは暮らし易くないとすると「細かいしその上垂れ下がる」ということは成り立たない fact10: 「もし仮に「「創設的身分行為でなくておまけに生まれ難い」ということは成り立たない」ものがあるとしたらこの三段階評価は温度調節でない」ということは真実だ fact11: 「この氷上は攻め始めないけどそれは温度調節だ」ということは誤っている fact12: 細かくない物は攻め始めなくてまた温度調節だということはない fact13: 「この三段階評価は生まれ難くない一方で溜まり易い」ということは誤りだ fact14: 「この氷上は攻め始める一方で温度調節でない」ということは成り立たない fact15: この氷上は暮らし易い fact16: もし仮にこの三段階評価は攻め始めないならば「この氷上は温度調節であるがしかし攻め始めるということはない」ということは成り立たない fact17: 「「創設的身分行為でなくて生まれ難い」ということは成り立たない」物はある ; $hypothesis$ = この氷上は攻め始めないし温度調節でない ; $proof$ = 
fact17 & fact10 -> int1: この三段階評価は温度調節でない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもこの氷上は攻め始めないとすると「この三段階評価は温度調節だけれどそれは攻め始めない」ということは間違いである
事実2: もし仮にこの三段階評価は攻め始めないとすれば「その行政機構は温度調節であるが細かくない」ということは嘘である
事実3: 仮に「生まれ難いということはない」物があればこの三段階評価は温度調節でない
事実4: もしこの三段階評価は攻め始めないとすると「この氷上は温度調節でないけどそれは攻め始める」ということは正しくない
事実5: もし仮になにかは温度調節でないとすれば「それは御強請りしなくてしかも竈でない」ということは成り立つということはない
事実6: 「この三段階評価は細かいし垂れ下がる」ということは成り立たないとすればあの氷上は細かくない
事実7: もしこの三段階評価は温度調節でないとすれば「この氷上は攻め始めないしそれに温度調節でない」ということは成り立たない
事実8: この三段階評価は温度調節でないとすれば「この氷上は攻め始める一方で温度調節でない」ということは成り立たない
事実9: もし何らかのものは暮らし易くないとすると「細かいしその上垂れ下がる」ということは成り立たない
事実10: 「もし仮に「「創設的身分行為でなくておまけに生まれ難い」ということは成り立たない」ものがあるとしたらこの三段階評価は温度調節でない」ということは真実だ
事実11: 「この氷上は攻め始めないけどそれは温度調節だ」ということは誤っている
事実12: 細かくない物は攻め始めなくてまた温度調節だということはない
事実13: 「この三段階評価は生まれ難くない一方で溜まり易い」ということは誤りだ
事実14: 「この氷上は攻め始める一方で温度調節でない」ということは成り立たない
事実15: この氷上は暮らし易い
事実16: もし仮にこの三段階評価は攻め始めないならば「この氷上は温度調節であるがしかし攻め始めるということはない」ということは成り立たない
事実17: 「「創設的身分行為でなくて生まれ難い」ということは成り立たない」物はある

仮説: この氷上は攻め始めないし温度調節でない
1. 事実17と事実10から、推論1: "この三段階評価は温度調節でない"が導かれる
2. 推論1と事実7から、仮説が否定される

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