このＮＤＩは冊封しない
fact1: もしこの新聞紙面が常傭電源だとしたらそれは丼物だ fact2: もしあの地理的空間が冊封すればそれは表記する fact3: もし「あの地理的空間は死滅する」ということは事実であるとすれば「冊封する」ということは成り立つ fact4: あの地理的空間は死滅する fact5: 仮にとあるものが表記するとすればそれは冊封する fact6: 「もし仮にあの地理的空間が表記するとすればあの気楽さは老齢化する」ということは確かである fact7: もし仮になんらかの物が常傭電源だとしたら老齢化する fact8: 仮にあの地理的空間が死滅するとするとそれは常傭電源だ fact9: 仮にあの地理的空間は老齢化するとすると「このＮＤＩは表記する」ということは成り立つ
fact8 & fact4 -> int1: あの地理的空間は常傭電源だ; fact7 -> int2: もしあの地理的空間が常傭電源だとすれば老齢化する; int1 & int2 -> int3: あの地理的空間は老齢化する; int3 & fact9 -> int4: このＮＤＩは表記する; fact5 -> int5: このＮＤＩが表記するとすればそれは冊封する; int4 & int5 -> hypothesis;
その気楽さは常傭電源だ
$facts$ = fact1: もしこの新聞紙面が常傭電源だとしたらそれは丼物だ fact2: もしあの地理的空間が冊封すればそれは表記する fact3: もし「あの地理的空間は死滅する」ということは事実であるとすれば「冊封する」ということは成り立つ fact4: あの地理的空間は死滅する fact5: 仮にとあるものが表記するとすればそれは冊封する fact6: 「もし仮にあの地理的空間が表記するとすればあの気楽さは老齢化する」ということは確かである fact7: もし仮になんらかの物が常傭電源だとしたら老齢化する fact8: 仮にあの地理的空間が死滅するとするとそれは常傭電源だ fact9: 仮にあの地理的空間は老齢化するとすると「このＮＤＩは表記する」ということは成り立つ ; $hypothesis$ = このＮＤＩは冊封しない ; $proof$ = 
fact8 & fact4 -> int1: あの地理的空間は常傭電源だ; fact7 -> int2: もしあの地理的空間が常傭電源だとすれば老齢化する; int1 & int2 -> int3: あの地理的空間は老齢化する; int3 & fact9 -> int4: このＮＤＩは表記する; fact5 -> int5: このＮＤＩが表記するとすればそれは冊封する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしこの新聞紙面が常傭電源だとしたらそれは丼物だ
事実2: もしあの地理的空間が冊封すればそれは表記する
事実3: もし「あの地理的空間は死滅する」ということは事実であるとすれば「冊封する」ということは成り立つ
事実4: あの地理的空間は死滅する
事実5: 仮にとあるものが表記するとすればそれは冊封する
事実6: 「もし仮にあの地理的空間が表記するとすればあの気楽さは老齢化する」ということは確かである
事実7: もし仮になんらかの物が常傭電源だとしたら老齢化する
事実8: 仮にあの地理的空間が死滅するとするとそれは常傭電源だ
事実9: 仮にあの地理的空間は老齢化するとすると「このＮＤＩは表記する」ということは成り立つ

仮説: このＮＤＩは冊封しない
1. 事実8と事実4から、推論1: "あの地理的空間は常傭電源だ"が導かれる
2. 事実7から、推論2: "もしあの地理的空間が常傭電源だとすれば老齢化する"が導かれる
3. 推論1と推論2から、推論3: "あの地理的空間は老齢化する"が導かれる
4. 推論3と事実9から、推論4: "このＮＤＩは表記する"が導かれる
5. 事実5から、推論5: "このＮＤＩが表記するとすればそれは冊封する"が導かれる
6. 推論4と推論5から、仮説が否定される

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