この気管孔は柔らかい
fact1: この気管孔は産婦人科でない fact2: 「柔らかいかもしくは付き合い切れるということはないかもしくは両方ともである」ものはある fact3: この気管孔は心置き無くなくて届き難くない fact4: この段取り力は柔らかいし加えてそれは道徳的規範だ fact5: この気管孔は海上基地問題であるしその上アップグレードする fact6: もしも「この気管孔は道徳的規範でない」ということは成り立てばこの段取り力は算入出来ないし更に柔らかくない fact7: この気管孔は出入りし易くない fact8: この段取り力は柔らかくてまた出入りし易い fact9: この段取り力は公開しなくて中心でない fact10: 「この気管孔はＬＳコマンドであるかもしくは柔らかい」ということは本当だ fact11: この段取り力は出入りし易くてかつ平滑化する fact12: もし「その先発ローテは算入出来ない」ということは正しいとするとこの気管孔は付き合い切れない fact13: その先発ローテは算入出来る fact14: 仮に「「平滑化するか道徳的規範であるということはない」ということは本当である」ものはあるとすれば「その先発ローテは付き合い切れるということはない」ということは成り立つ fact15: もしもこの段取り力が柔らかくないならこの気管孔は道徳的規範だということはない fact16: この段取り力は道徳的規範でかつ柔らかい fact17: もしもその先発ローテが付き合い切れないならばこの気管孔は柔らかくないしかつ算入出来ない fact18: あの恐怖政治は算入出来ない
fact11 -> int1: この段取り力は平滑化する; int1 -> int2: この段取り力は平滑化するかまたは道徳的規範でないかあるいは両方である; int2 -> int3: なにがしかの物は平滑化するかまたは道徳的規範でないかあるいはどちらもである; int3 & fact14 -> int4: その先発ローテは付き合い切れない; int4 & fact17 -> int5: この気管孔は柔らかくないし算入出来るということはない; int5 -> hypothesis;
$facts$ = fact1: この気管孔は産婦人科でない fact2: 「柔らかいかもしくは付き合い切れるということはないかもしくは両方ともである」ものはある fact3: この気管孔は心置き無くなくて届き難くない fact4: この段取り力は柔らかいし加えてそれは道徳的規範だ fact5: この気管孔は海上基地問題であるしその上アップグレードする fact6: もしも「この気管孔は道徳的規範でない」ということは成り立てばこの段取り力は算入出来ないし更に柔らかくない fact7: この気管孔は出入りし易くない fact8: この段取り力は柔らかくてまた出入りし易い fact9: この段取り力は公開しなくて中心でない fact10: 「この気管孔はＬＳコマンドであるかもしくは柔らかい」ということは本当だ fact11: この段取り力は出入りし易くてかつ平滑化する fact12: もし「その先発ローテは算入出来ない」ということは正しいとするとこの気管孔は付き合い切れない fact13: その先発ローテは算入出来る fact14: 仮に「「平滑化するか道徳的規範であるということはない」ということは本当である」ものはあるとすれば「その先発ローテは付き合い切れるということはない」ということは成り立つ fact15: もしもこの段取り力が柔らかくないならこの気管孔は道徳的規範だということはない fact16: この段取り力は道徳的規範でかつ柔らかい fact17: もしもその先発ローテが付き合い切れないならばこの気管孔は柔らかくないしかつ算入出来ない fact18: あの恐怖政治は算入出来ない ; $hypothesis$ = この気管孔は柔らかい ; $proof$ = 
fact11 -> int1: この段取り力は平滑化する; int1 -> int2: この段取り力は平滑化するかまたは道徳的規範でないかあるいは両方である; int2 -> int3: なにがしかの物は平滑化するかまたは道徳的規範でないかあるいはどちらもである; int3 & fact14 -> int4: その先発ローテは付き合い切れない; int4 & fact17 -> int5: この気管孔は柔らかくないし算入出来るということはない; int5 -> hypothesis; __DISPROVED__
事実1: この気管孔は産婦人科でない
事実2: 「柔らかいかもしくは付き合い切れるということはないかもしくは両方ともである」ものはある
事実3: この気管孔は心置き無くなくて届き難くない
事実4: この段取り力は柔らかいし加えてそれは道徳的規範だ
事実5: この気管孔は海上基地問題であるしその上アップグレードする
事実6: もしも「この気管孔は道徳的規範でない」ということは成り立てばこの段取り力は算入出来ないし更に柔らかくない
事実7: この気管孔は出入りし易くない
事実8: この段取り力は柔らかくてまた出入りし易い
事実9: この段取り力は公開しなくて中心でない
事実10: 「この気管孔はＬＳコマンドであるかもしくは柔らかい」ということは本当だ
事実11: この段取り力は出入りし易くてかつ平滑化する
事実12: もし「その先発ローテは算入出来ない」ということは正しいとするとこの気管孔は付き合い切れない
事実13: その先発ローテは算入出来る
事実14: 仮に「「平滑化するか道徳的規範であるということはない」ということは本当である」ものはあるとすれば「その先発ローテは付き合い切れるということはない」ということは成り立つ
事実15: もしもこの段取り力が柔らかくないならこの気管孔は道徳的規範だということはない
事実16: この段取り力は道徳的規範でかつ柔らかい
事実17: もしもその先発ローテが付き合い切れないならばこの気管孔は柔らかくないしかつ算入出来ない
事実18: あの恐怖政治は算入出来ない

仮説: この気管孔は柔らかい
1. 事実11から、推論1: "この段取り力は平滑化する"が導かれる
2. 推論1から、推論2: "この段取り力は平滑化するかまたは道徳的規範でないかあるいは両方である"が導かれる
3. 推論2から、推論3: "なにがしかの物は平滑化するかまたは道徳的規範でないかあるいはどちらもである"が導かれる
4. 推論3と事実14から、推論4: "その先発ローテは付き合い切れない"が導かれる
5. 推論4と事実17から、推論5: "この気管孔は柔らかくないし算入出来るということはない"が導かれる
6. 推論5から、仮説が否定される

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