この帯域は共有設定する
fact1: そのデイトレードは専用機であるがしかし木目細かいということはないならドゥーステートメントであるということはない fact2: この帯域は馬鹿でかい fact3: もしも「そのデイトレードは保存ダイアログだということはない」ということは間違っていれば専用機だしその上それは木目細かいということはない fact4: 「あの窩孔はすっごいかＤＩＭであるかあるいはどちらもだ」ということは正しい fact5: もし「そのデイトレードは社会的認知でなくてかつすっごくない」ということは成り立つとしたらその美青年は居直らない fact6: 仮にあるものがドゥーステートメントでないとすれば社会的認知でなくてそれにすっごくない fact7: もし仮にあの窩孔がＤＩＭだしさらに馬鹿でかいとしたらそれは共有設定しない fact8: もし仮にＤＩＭは畝でないなら馬鹿でかい fact9: この帯域は畝であるしさらにそれは馬鹿でかい fact10: もしもあの窩孔がすっごいならこの帯域はＤＩＭである fact11: 仮にその美青年は居直らないとすると「あの窩孔はＤＩＭでないがしかし馬鹿でかい」ということは成り立たない fact12: もしもあの窩孔がＤＩＭであるならばこの帯域はＤＩＭである fact13: あの窩孔は畝だ fact14: 仮に畝がＤＩＭだとするとそれは共有設定しない fact15: もし仮にこの帯域が畝であるならあの窩孔は馬鹿でかい fact16: もし仮にあの窩孔が馬鹿でかくないとすればあの帯域は共有設定するしそれにそれは畝だ fact17: この帯域はすっごいしまたそれは馬鹿でかい
fact9 -> int1: この帯域は畝だ; fact10 & fact12 & fact4 -> int2: この帯域はＤＩＭだ; int1 & int2 -> int3: この帯域は畝だし加えてＤＩＭである; fact14 -> int4: 仮にこの帯域は畝であるしＤＩＭであるとしたら「それは共有設定しない」ということは成り立つ; int3 & int4 -> hypothesis;
fact9 -> int1: {A}{a}; fact10 & fact12 & fact4 -> int2: {C}{a}; int1 & int2 -> int3: ({A}{a} & {C}{a}); fact14 -> int4: ({A}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
この帯域は共有設定する
fact18 -> int5: 仮にあの窩孔はＤＩＭだ一方で畝でないとすると「馬鹿でかい」ということは正しい;
$facts$ = fact1: そのデイトレードは専用機であるがしかし木目細かいということはないならドゥーステートメントであるということはない fact2: この帯域は馬鹿でかい fact3: もしも「そのデイトレードは保存ダイアログだということはない」ということは間違っていれば専用機だしその上それは木目細かいということはない fact4: 「あの窩孔はすっごいかＤＩＭであるかあるいはどちらもだ」ということは正しい fact5: もし「そのデイトレードは社会的認知でなくてかつすっごくない」ということは成り立つとしたらその美青年は居直らない fact6: 仮にあるものがドゥーステートメントでないとすれば社会的認知でなくてそれにすっごくない fact7: もし仮にあの窩孔がＤＩＭだしさらに馬鹿でかいとしたらそれは共有設定しない fact8: もし仮にＤＩＭは畝でないなら馬鹿でかい fact9: この帯域は畝であるしさらにそれは馬鹿でかい fact10: もしもあの窩孔がすっごいならこの帯域はＤＩＭである fact11: 仮にその美青年は居直らないとすると「あの窩孔はＤＩＭでないがしかし馬鹿でかい」ということは成り立たない fact12: もしもあの窩孔がＤＩＭであるならばこの帯域はＤＩＭである fact13: あの窩孔は畝だ fact14: 仮に畝がＤＩＭだとするとそれは共有設定しない fact15: もし仮にこの帯域が畝であるならあの窩孔は馬鹿でかい fact16: もし仮にあの窩孔が馬鹿でかくないとすればあの帯域は共有設定するしそれにそれは畝だ fact17: この帯域はすっごいしまたそれは馬鹿でかい ; $hypothesis$ = この帯域は共有設定する ; $proof$ = 
fact9 -> int1: この帯域は畝だ; fact10 & fact12 & fact4 -> int2: この帯域はＤＩＭだ; int1 & int2 -> int3: この帯域は畝だし加えてＤＩＭである; fact14 -> int4: 仮にこの帯域は畝であるしＤＩＭであるとしたら「それは共有設定しない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: そのデイトレードは専用機であるがしかし木目細かいということはないならドゥーステートメントであるということはない
事実2: この帯域は馬鹿でかい
事実3: もしも「そのデイトレードは保存ダイアログだということはない」ということは間違っていれば専用機だしその上それは木目細かいということはない
事実4: 「あの窩孔はすっごいかＤＩＭであるかあるいはどちらもだ」ということは正しい
事実5: もし「そのデイトレードは社会的認知でなくてかつすっごくない」ということは成り立つとしたらその美青年は居直らない
事実6: 仮にあるものがドゥーステートメントでないとすれば社会的認知でなくてそれにすっごくない
事実7: もし仮にあの窩孔がＤＩＭだしさらに馬鹿でかいとしたらそれは共有設定しない
事実8: もし仮にＤＩＭは畝でないなら馬鹿でかい
事実9: この帯域は畝であるしさらにそれは馬鹿でかい
事実10: もしもあの窩孔がすっごいならこの帯域はＤＩＭである
事実11: 仮にその美青年は居直らないとすると「あの窩孔はＤＩＭでないがしかし馬鹿でかい」ということは成り立たない
事実12: もしもあの窩孔がＤＩＭであるならばこの帯域はＤＩＭである
事実13: あの窩孔は畝だ
事実14: 仮に畝がＤＩＭだとするとそれは共有設定しない
事実15: もし仮にこの帯域が畝であるならあの窩孔は馬鹿でかい
事実16: もし仮にあの窩孔が馬鹿でかくないとすればあの帯域は共有設定するしそれにそれは畝だ
事実17: この帯域はすっごいしまたそれは馬鹿でかい

仮説: この帯域は共有設定する
1. 事実9から、推論1: "この帯域は畝だ"が導かれる
2. 事実10と事実12と事実4から、推論2: "この帯域はＤＩＭだ"が導かれる
3. 推論1と推論2から、推論3: "この帯域は畝だし加えてＤＩＭである"が導かれる
4. 事実14から、推論4: "仮にこの帯域は畝であるしＤＩＭであるとしたら「それは共有設定しない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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