その欄干は人物本位だ
fact1: もし仮にそのイベント情報が妓楼ならばその二股口は直径分布である fact2: その二股口は蜻蛉返りする fact3: もしも何らかのものがホームステイするとすればそれは人物本位だ fact4: 「あの二千一年度末はＶＤＳＬである」ということは誤っているとすると「それは操業しないかまたは蜻蛉返りするかもしくはどちらもだ」ということは間違っている fact5: 「そのイベント情報が妓楼だしＶＤＳＬである」ということは間違いである fact6: 仮にあの二千一年度末がホームステイするかもしくは蜻蛉返りするかもしくは両方ともだとするとこの星明かりは操業するということはない fact7: 仮にこの星明かりは操業しないとすると「「そのイベント情報は妓楼であるということはないがＶＤＳＬだ」ということは成り立つ」ということは真実でない fact8: もし仮にその二股口が出入りし易いならその欄干は人物本位でない fact9: もし仮にこの星明かりは操業しないなら「そのイベント情報は妓楼であるしその上それはＶＤＳＬである」ということは事実と異なる fact10: その二股口が直径分布であるかまたは出入りし易いならその欄干は人物本位でない fact11: あの二千一年度末は蜻蛉返りする fact12: 仮に「そのイベント情報は妓楼でないがしかしそれはＶＤＳＬだ」ということは成り立たないならその二股口は直径分布だ fact13: 仮にあの二千一年度末がホームステイするならこの星明かりは操業しない fact14: あの郵送は蜻蛉返りする
fact11 -> int1: あの二千一年度末はホームステイするかあるいは蜻蛉返りするか両方である; int1 & fact6 -> int2: この星明かりは操業しない; int2 & fact7 -> int3: 「そのイベント情報は妓楼でない一方でＶＤＳＬだ」ということは成り立たない; int3 & fact12 -> int4: その二股口は直径分布である; int4 -> int5: 「その二股口は直径分布であるかまたはそれは出入りし易い」ということは成り立つ; int5 & fact10 -> hypothesis;
その欄干は人物本位だ
fact16 -> int6: 仮にその欄干がホームステイすれば人物本位だ;
$facts$ = fact1: もし仮にそのイベント情報が妓楼ならばその二股口は直径分布である fact2: その二股口は蜻蛉返りする fact3: もしも何らかのものがホームステイするとすればそれは人物本位だ fact4: 「あの二千一年度末はＶＤＳＬである」ということは誤っているとすると「それは操業しないかまたは蜻蛉返りするかもしくはどちらもだ」ということは間違っている fact5: 「そのイベント情報が妓楼だしＶＤＳＬである」ということは間違いである fact6: 仮にあの二千一年度末がホームステイするかもしくは蜻蛉返りするかもしくは両方ともだとするとこの星明かりは操業するということはない fact7: 仮にこの星明かりは操業しないとすると「「そのイベント情報は妓楼であるということはないがＶＤＳＬだ」ということは成り立つ」ということは真実でない fact8: もし仮にその二股口が出入りし易いならその欄干は人物本位でない fact9: もし仮にこの星明かりは操業しないなら「そのイベント情報は妓楼であるしその上それはＶＤＳＬである」ということは事実と異なる fact10: その二股口が直径分布であるかまたは出入りし易いならその欄干は人物本位でない fact11: あの二千一年度末は蜻蛉返りする fact12: 仮に「そのイベント情報は妓楼でないがしかしそれはＶＤＳＬだ」ということは成り立たないならその二股口は直径分布だ fact13: 仮にあの二千一年度末がホームステイするならこの星明かりは操業しない fact14: あの郵送は蜻蛉返りする ; $hypothesis$ = その欄干は人物本位だ ; $proof$ = 
fact11 -> int1: あの二千一年度末はホームステイするかあるいは蜻蛉返りするか両方である; int1 & fact6 -> int2: この星明かりは操業しない; int2 & fact7 -> int3: 「そのイベント情報は妓楼でない一方でＶＤＳＬだ」ということは成り立たない; int3 & fact12 -> int4: その二股口は直径分布である; int4 -> int5: 「その二股口は直径分布であるかまたはそれは出入りし易い」ということは成り立つ; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮にそのイベント情報が妓楼ならばその二股口は直径分布である
事実2: その二股口は蜻蛉返りする
事実3: もしも何らかのものがホームステイするとすればそれは人物本位だ
事実4: 「あの二千一年度末はＶＤＳＬである」ということは誤っているとすると「それは操業しないかまたは蜻蛉返りするかもしくはどちらもだ」ということは間違っている
事実5: 「そのイベント情報が妓楼だしＶＤＳＬである」ということは間違いである
事実6: 仮にあの二千一年度末がホームステイするかもしくは蜻蛉返りするかもしくは両方ともだとするとこの星明かりは操業するということはない
事実7: 仮にこの星明かりは操業しないとすると「「そのイベント情報は妓楼であるということはないがＶＤＳＬだ」ということは成り立つ」ということは真実でない
事実8: もし仮にその二股口が出入りし易いならその欄干は人物本位でない
事実9: もし仮にこの星明かりは操業しないなら「そのイベント情報は妓楼であるしその上それはＶＤＳＬである」ということは事実と異なる
事実10: その二股口が直径分布であるかまたは出入りし易いならその欄干は人物本位でない
事実11: あの二千一年度末は蜻蛉返りする
事実12: 仮に「そのイベント情報は妓楼でないがしかしそれはＶＤＳＬだ」ということは成り立たないならその二股口は直径分布だ
事実13: 仮にあの二千一年度末がホームステイするならこの星明かりは操業しない
事実14: あの郵送は蜻蛉返りする

仮説: その欄干は人物本位だ
1. 事実11から、推論1: "あの二千一年度末はホームステイするかあるいは蜻蛉返りするか両方である"が導かれる
2. 推論1と事実6から、推論2: "この星明かりは操業しない"が導かれる
3. 推論2と事実7から、推論3: "「そのイベント情報は妓楼でない一方でＶＤＳＬだ」ということは成り立たない"が導かれる
4. 推論3と事実12から、推論4: "その二股口は直径分布である"が導かれる
5. 推論4から、推論5: "「その二股口は直径分布であるかまたはそれは出入りし易い」ということは成り立つ"が導かれる
6. 推論5と事実10から、仮説が否定される

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