この居坐りは北上するかあるいは出来心でないか両方である
fact1: もし仮になにがしかの物が怨霊鎮めだとするとそれは北上するか出来心でないかどちらもである fact2: 仮にとあるものが減量出来るとすると怨霊鎮めである fact3: もし仮に何かはうんちするしおまけにそれは割れ難いとすると「それは善がらない」ということは成り立つ fact4: もしこのクランベリージュースは北上するということはないならば「この居坐りは北上するか出来心でないかあるいは両方である」ということは成り立たない fact5: あのライブラリー化は怨霊鎮めである fact6: そのオープニングが湿気易いならこのクランベリージュースは減量出来る fact7: この居坐りはうんちする fact8: あのライブラリー化が怨霊鎮めであるとするとそのオープニングは湿気易い fact9: もしこのクランベリージュースが割れ難くないならばうんちするし更にそれは善がる fact10: もし何かは減量出来るしおまけに善がるなら「北上しない」ということは事実だ fact11: もし仮になんらかのものが善がらないならそれは減量出来るかもしくはそれは湿気易いかあるいはどちらもだ fact12: この居坐りは割れ難くてそれに着任直後である fact13: このクランベリージュースは割れ難くない
fact8 & fact5 -> int1: そのオープニングは湿気易い; int1 & fact6 -> int2: このクランベリージュースは減量出来る; fact9 & fact13 -> int3: このクランベリージュースはうんちするし善がる; int3 -> int4: このクランベリージュースは善がる; int2 & int4 -> int5: このクランベリージュースは減量出来るし加えて善がる; fact10 -> int6: このクランベリージュースは減量出来るしおまけに善がるなら北上しない; int5 & int6 -> int7: このクランベリージュースは北上しない; int7 & fact4 -> hypothesis;
この居坐りは北上するかあるいはそれは出来心でないかまたは両方ともである
fact15 -> int8: 仮にこの居坐りが怨霊鎮めであるとすればそれは北上するかもしくはそれは出来心だということはない; fact14 -> int9: もしこの居坐りが善がるということはないならば減量出来るかもしくは湿気易いかもしくは両方ともである; fact19 -> int10: もしこの居坐りがうんちするしさらにそれが割れ難いなら善がらない; fact16 -> int11: この居坐りは割れ難い; fact18 & int11 -> int12: この居坐りがうんちするしその上それは割れ難い; int10 & int12 -> int13: この居坐りは善がらない; int9 & int13 -> int14: この居坐りは減量出来るかもしくは湿気易いかもしくは両方ともだ; fact17 -> int15: 仮にこの居坐りが減量出来るとするとそれは怨霊鎮めだ;
$facts$ = fact1: もし仮になにがしかの物が怨霊鎮めだとするとそれは北上するか出来心でないかどちらもである fact2: 仮にとあるものが減量出来るとすると怨霊鎮めである fact3: もし仮に何かはうんちするしおまけにそれは割れ難いとすると「それは善がらない」ということは成り立つ fact4: もしこのクランベリージュースは北上するということはないならば「この居坐りは北上するか出来心でないかあるいは両方である」ということは成り立たない fact5: あのライブラリー化は怨霊鎮めである fact6: そのオープニングが湿気易いならこのクランベリージュースは減量出来る fact7: この居坐りはうんちする fact8: あのライブラリー化が怨霊鎮めであるとするとそのオープニングは湿気易い fact9: もしこのクランベリージュースが割れ難くないならばうんちするし更にそれは善がる fact10: もし何かは減量出来るしおまけに善がるなら「北上しない」ということは事実だ fact11: もし仮になんらかのものが善がらないならそれは減量出来るかもしくはそれは湿気易いかあるいはどちらもだ fact12: この居坐りは割れ難くてそれに着任直後である fact13: このクランベリージュースは割れ難くない ; $hypothesis$ = この居坐りは北上するかあるいは出来心でないか両方である ; $proof$ = 
fact8 & fact5 -> int1: そのオープニングは湿気易い; int1 & fact6 -> int2: このクランベリージュースは減量出来る; fact9 & fact13 -> int3: このクランベリージュースはうんちするし善がる; int3 -> int4: このクランベリージュースは善がる; int2 & int4 -> int5: このクランベリージュースは減量出来るし加えて善がる; fact10 -> int6: このクランベリージュースは減量出来るしおまけに善がるなら北上しない; int5 & int6 -> int7: このクランベリージュースは北上しない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物が怨霊鎮めだとするとそれは北上するか出来心でないかどちらもである
事実2: 仮にとあるものが減量出来るとすると怨霊鎮めである
事実3: もし仮に何かはうんちするしおまけにそれは割れ難いとすると「それは善がらない」ということは成り立つ
事実4: もしこのクランベリージュースは北上するということはないならば「この居坐りは北上するか出来心でないかあるいは両方である」ということは成り立たない
事実5: あのライブラリー化は怨霊鎮めである
事実6: そのオープニングが湿気易いならこのクランベリージュースは減量出来る
事実7: この居坐りはうんちする
事実8: あのライブラリー化が怨霊鎮めであるとするとそのオープニングは湿気易い
事実9: もしこのクランベリージュースが割れ難くないならばうんちするし更にそれは善がる
事実10: もし何かは減量出来るしおまけに善がるなら「北上しない」ということは事実だ
事実11: もし仮になんらかのものが善がらないならそれは減量出来るかもしくはそれは湿気易いかあるいはどちらもだ
事実12: この居坐りは割れ難くてそれに着任直後である
事実13: このクランベリージュースは割れ難くない

仮説: この居坐りは北上するかあるいは出来心でないか両方である
1. 事実8と事実5から、推論1: "そのオープニングは湿気易い"が導かれる
2. 推論1と事実6から、推論2: "このクランベリージュースは減量出来る"が導かれる
3. 事実9と事実13から、推論3: "このクランベリージュースはうんちするし善がる"が導かれる
4. 推論3から、推論4: "このクランベリージュースは善がる"が導かれる
5. 推論2と推論4から、推論5: "このクランベリージュースは減量出来るし加えて善がる"が導かれる
6. 事実10から、推論6: "このクランベリージュースは減量出来るしおまけに善がるなら北上しない"が導かれる
7. 推論5と推論6から、推論7: "このクランベリージュースは北上しない"が導かれる
8. 推論7と事実4から、仮説が否定される

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