この宿業は修了しない
fact1: この宿業は故国である fact2: もし仮にこのＰＮＶが登拝するけどそれが修了しないとするとこの宿業は修了しない fact3: この宿業は臨床心理士である fact4: このＬ‐ＧＡは修了するけれど気違い染みるということはない fact5: このＰＮＶが故国であるならばこの宿業は閉館する fact6: もしも何らかの物はけちけちすれば「閉館しないしおまけに故国でない」ということは誤っている fact7: もしある物は登拝しないとすると「修了するしそれは故国でない」ということは誤りだ fact8: このＰＮＶは故国である一方でそれは登拝しない fact9: もし仮にこの時以上が故国であるとするとこのＰＮＶは登拝するがしかし修了しない fact10: このＰＮＶは登拝するということはない fact11: とあるものが閉館すれば修了する fact12: もしこのＰＮＶがけちけちすればそれは閉館する fact13: この一年置きは登拝するけれど発生し易いということはない fact14: 「もしこの宿業が閉館するならこの宿業はディレクトリである」ということは正しい fact15: もし仮に「なにがしかのものは閉館しないしおまけに故国だということはない」ということは成り立たないならば「故国だ」ということは偽でない fact16: もし何かは登拝するとしたらそれは修了する fact17: このＰＮＶが閉館するならこの宿業は登拝しない
fact8 -> int1: このＰＮＶは故国だ; int1 & fact5 -> int2: この宿業は閉館する; fact11 -> int3: もしこの宿業が閉館するとしたら修了する; int2 & int3 -> hypothesis;
この宿業は修了しない
fact18 -> int4: もし仮にこの宿業は登拝しないとしたら「修了するしまた故国でない」ということは事実と異なる;
$facts$ = fact1: この宿業は故国である fact2: もし仮にこのＰＮＶが登拝するけどそれが修了しないとするとこの宿業は修了しない fact3: この宿業は臨床心理士である fact4: このＬ‐ＧＡは修了するけれど気違い染みるということはない fact5: このＰＮＶが故国であるならばこの宿業は閉館する fact6: もしも何らかの物はけちけちすれば「閉館しないしおまけに故国でない」ということは誤っている fact7: もしある物は登拝しないとすると「修了するしそれは故国でない」ということは誤りだ fact8: このＰＮＶは故国である一方でそれは登拝しない fact9: もし仮にこの時以上が故国であるとするとこのＰＮＶは登拝するがしかし修了しない fact10: このＰＮＶは登拝するということはない fact11: とあるものが閉館すれば修了する fact12: もしこのＰＮＶがけちけちすればそれは閉館する fact13: この一年置きは登拝するけれど発生し易いということはない fact14: 「もしこの宿業が閉館するならこの宿業はディレクトリである」ということは正しい fact15: もし仮に「なにがしかのものは閉館しないしおまけに故国だということはない」ということは成り立たないならば「故国だ」ということは偽でない fact16: もし何かは登拝するとしたらそれは修了する fact17: このＰＮＶが閉館するならこの宿業は登拝しない ; $hypothesis$ = この宿業は修了しない ; $proof$ = 
fact8 -> int1: このＰＮＶは故国だ; int1 & fact5 -> int2: この宿業は閉館する; fact11 -> int3: もしこの宿業が閉館するとしたら修了する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この宿業は故国である
事実2: もし仮にこのＰＮＶが登拝するけどそれが修了しないとするとこの宿業は修了しない
事実3: この宿業は臨床心理士である
事実4: このＬ‐ＧＡは修了するけれど気違い染みるということはない
事実5: このＰＮＶが故国であるならばこの宿業は閉館する
事実6: もしも何らかの物はけちけちすれば「閉館しないしおまけに故国でない」ということは誤っている
事実7: もしある物は登拝しないとすると「修了するしそれは故国でない」ということは誤りだ
事実8: このＰＮＶは故国である一方でそれは登拝しない
事実9: もし仮にこの時以上が故国であるとするとこのＰＮＶは登拝するがしかし修了しない
事実10: このＰＮＶは登拝するということはない
事実11: とあるものが閉館すれば修了する
事実12: もしこのＰＮＶがけちけちすればそれは閉館する
事実13: この一年置きは登拝するけれど発生し易いということはない
事実14: 「もしこの宿業が閉館するならこの宿業はディレクトリである」ということは正しい
事実15: もし仮に「なにがしかのものは閉館しないしおまけに故国だということはない」ということは成り立たないならば「故国だ」ということは偽でない
事実16: もし何かは登拝するとしたらそれは修了する
事実17: このＰＮＶが閉館するならこの宿業は登拝しない

仮説: この宿業は修了しない
1. 事実8から、推論1: "このＰＮＶは故国だ"が導かれる
2. 推論1と事実5から、推論2: "この宿業は閉館する"が導かれる
3. 事実11から、推論3: "もしこの宿業が閉館するとしたら修了する"が導かれる
4. 推論2と推論3から、仮説が否定される

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