「あのスペリングは濃いけどそれは把持するということはない」ということは正しくない
fact1: 仮にあのスペリングが絞れないなら濃いし日向側だ fact2: あのスペリングは絞れない fact3: 仮にあのスペリングが絞れるということはないならばそれは日向側だ fact4: 「あの伊那踊り人形は料理用でない一方で千万人である」ということは成り立つということはない fact5: もしも「飼い始めるか確かめ得るということはないかもしくは両方ともな」物があるとしたらあのスペリングは把持しない fact6: あのスペリングは料理用だということはない fact7: あの日永は職場復帰する fact8: もしこの分刻みが唱導するということはないとしたらこの表示例は第二警察学校であるということはなくて痩せ難くない fact9: もし仮にあの日永が職場復帰するとするとそれは絞れなくてまた生き切る fact10: 仮に「確かめ得るということはない」ものがあるとしたらあのスペリングは把持しない fact11: そのブプレノルフィンは北上するということはないとすると「それは飼い始めるかまたは確かめ得るかどちらもだ」ということは真実だ fact12: 「そのブプレノルフィンは唱導しないしまた絞れない」ということは成り立たないとしたらこの分刻みは北上するということはない fact13: 料理用で加えて千万人であるということはないというものはない fact14: 「もしもこの分刻みは唱導するなら「あのスペリングは濃いが把持しない」ということは事実と異なる」ということは事実だ fact15: もしあの日永が絞れない一方で生き切るとすればこの制覇は日向側でない fact16: あの伊那踊り人形は絞れる fact17: もしもこの表示例が第二警察学校であるけれど痩せ難いということはないとしたらそのブプレノルフィンは北上しない fact18: 何かは北上しないならば飼い始めるか確かめ得る fact19: もし仮に「あの伊那踊り人形は料理用でなくて加えて千万人でない」ということは間違いであるとすると「この分刻みは唱導しない」ということは嘘でない fact20: もしもとあるものが北上しないとすればそれは飼い始めるか確かめ得るということはない fact21: それは料理用だということはなくてそれに千万人であるということはないという物はない fact22: もしこの表示例が第二警察学校でないしおまけに痩せ難くないとしたらそのブプレノルフィンは北上しない fact23: あのスペリングは飼い始めない fact24: 「飼い始めるかあるいは確かめ得るかまたは両方である」ものはある fact25: もしもそのブプレノルフィンは北上すれば「この表示例は痩せ難いが第二警察学校だということはない」ということは確かでない
fact21 -> int1: 「あの伊那踊り人形は料理用でなくてそれは千万人だということはない」ということは誤りだ; int1 & fact19 -> int2: この分刻みは唱導しない; int2 & fact8 -> int3: この表示例は第二警察学校でないしかつ痩せ難くない; int3 & fact22 -> int4: 「そのブプレノルフィンは北上しない」ということは誤っていない; fact20 -> int5: 「そのブプレノルフィンは北上しない」ということは成り立てばそれは飼い始めるかもしくはそれは確かめ得ない; int4 & int5 -> int6: そのブプレノルフィンは飼い始めるかまたは確かめ得ないか両方だ; int6 -> int7: あるものは飼い始めるかまたは確かめ得ないかどちらもだ; int7 & fact5 -> int8: あのスペリングは把持しない; fact2 & fact1 -> int9: あのスペリングは濃いししかもそれは日向側だ; int9 -> int10: あのスペリングは濃い; int8 & int10 -> hypothesis;
「あのスペリングは濃いけどそれは把持しない」ということは成り立つということはない
fact29 & fact26 -> int11: あの日永は絞れないけれど生き切る; fact30 & int11 -> int12: この制覇は日向側でない; int12 -> int13: なにがしかのものは日向側でない;
$facts$ = fact1: 仮にあのスペリングが絞れないなら濃いし日向側だ fact2: あのスペリングは絞れない fact3: 仮にあのスペリングが絞れるということはないならばそれは日向側だ fact4: 「あの伊那踊り人形は料理用でない一方で千万人である」ということは成り立つということはない fact5: もしも「飼い始めるか確かめ得るということはないかもしくは両方ともな」物があるとしたらあのスペリングは把持しない fact6: あのスペリングは料理用だということはない fact7: あの日永は職場復帰する fact8: もしこの分刻みが唱導するということはないとしたらこの表示例は第二警察学校であるということはなくて痩せ難くない fact9: もし仮にあの日永が職場復帰するとするとそれは絞れなくてまた生き切る fact10: 仮に「確かめ得るということはない」ものがあるとしたらあのスペリングは把持しない fact11: そのブプレノルフィンは北上するということはないとすると「それは飼い始めるかまたは確かめ得るかどちらもだ」ということは真実だ fact12: 「そのブプレノルフィンは唱導しないしまた絞れない」ということは成り立たないとしたらこの分刻みは北上するということはない fact13: 料理用で加えて千万人であるということはないというものはない fact14: 「もしもこの分刻みは唱導するなら「あのスペリングは濃いが把持しない」ということは事実と異なる」ということは事実だ fact15: もしあの日永が絞れない一方で生き切るとすればこの制覇は日向側でない fact16: あの伊那踊り人形は絞れる fact17: もしもこの表示例が第二警察学校であるけれど痩せ難いということはないとしたらそのブプレノルフィンは北上しない fact18: 何かは北上しないならば飼い始めるか確かめ得る fact19: もし仮に「あの伊那踊り人形は料理用でなくて加えて千万人でない」ということは間違いであるとすると「この分刻みは唱導しない」ということは嘘でない fact20: もしもとあるものが北上しないとすればそれは飼い始めるか確かめ得るということはない fact21: それは料理用だということはなくてそれに千万人であるということはないという物はない fact22: もしこの表示例が第二警察学校でないしおまけに痩せ難くないとしたらそのブプレノルフィンは北上しない fact23: あのスペリングは飼い始めない fact24: 「飼い始めるかあるいは確かめ得るかまたは両方である」ものはある fact25: もしもそのブプレノルフィンは北上すれば「この表示例は痩せ難いが第二警察学校だということはない」ということは確かでない ; $hypothesis$ = 「あのスペリングは濃いけどそれは把持するということはない」ということは正しくない ; $proof$ = 
fact21 -> int1: 「あの伊那踊り人形は料理用でなくてそれは千万人だということはない」ということは誤りだ; int1 & fact19 -> int2: この分刻みは唱導しない; int2 & fact8 -> int3: この表示例は第二警察学校でないしかつ痩せ難くない; int3 & fact22 -> int4: 「そのブプレノルフィンは北上しない」ということは誤っていない; fact20 -> int5: 「そのブプレノルフィンは北上しない」ということは成り立てばそれは飼い始めるかもしくはそれは確かめ得ない; int4 & int5 -> int6: そのブプレノルフィンは飼い始めるかまたは確かめ得ないか両方だ; int6 -> int7: あるものは飼い始めるかまたは確かめ得ないかどちらもだ; int7 & fact5 -> int8: あのスペリングは把持しない; fact2 & fact1 -> int9: あのスペリングは濃いししかもそれは日向側だ; int9 -> int10: あのスペリングは濃い; int8 & int10 -> hypothesis; __DISPROVED__
事実1: 仮にあのスペリングが絞れないなら濃いし日向側だ
事実2: あのスペリングは絞れない
事実3: 仮にあのスペリングが絞れるということはないならばそれは日向側だ
事実4: 「あの伊那踊り人形は料理用でない一方で千万人である」ということは成り立つということはない
事実5: もしも「飼い始めるか確かめ得るということはないかもしくは両方ともな」物があるとしたらあのスペリングは把持しない
事実6: あのスペリングは料理用だということはない
事実7: あの日永は職場復帰する
事実8: もしこの分刻みが唱導するということはないとしたらこの表示例は第二警察学校であるということはなくて痩せ難くない
事実9: もし仮にあの日永が職場復帰するとするとそれは絞れなくてまた生き切る
事実10: 仮に「確かめ得るということはない」ものがあるとしたらあのスペリングは把持しない
事実11: そのブプレノルフィンは北上するということはないとすると「それは飼い始めるかまたは確かめ得るかどちらもだ」ということは真実だ
事実12: 「そのブプレノルフィンは唱導しないしまた絞れない」ということは成り立たないとしたらこの分刻みは北上するということはない
事実13: 料理用で加えて千万人であるということはないというものはない
事実14: 「もしもこの分刻みは唱導するなら「あのスペリングは濃いが把持しない」ということは事実と異なる」ということは事実だ
事実15: もしあの日永が絞れない一方で生き切るとすればこの制覇は日向側でない
事実16: あの伊那踊り人形は絞れる
事実17: もしもこの表示例が第二警察学校であるけれど痩せ難いということはないとしたらそのブプレノルフィンは北上しない
事実18: 何かは北上しないならば飼い始めるか確かめ得る
事実19: もし仮に「あの伊那踊り人形は料理用でなくて加えて千万人でない」ということは間違いであるとすると「この分刻みは唱導しない」ということは嘘でない
事実20: もしもとあるものが北上しないとすればそれは飼い始めるか確かめ得るということはない
事実21: それは料理用だということはなくてそれに千万人であるということはないという物はない
事実22: もしこの表示例が第二警察学校でないしおまけに痩せ難くないとしたらそのブプレノルフィンは北上しない
事実23: あのスペリングは飼い始めない
事実24: 「飼い始めるかあるいは確かめ得るかまたは両方である」ものはある
事実25: もしもそのブプレノルフィンは北上すれば「この表示例は痩せ難いが第二警察学校だということはない」ということは確かでない

仮説: 「あのスペリングは濃いけどそれは把持するということはない」ということは正しくない
1. 事実21から、推論1: "「あの伊那踊り人形は料理用でなくてそれは千万人だということはない」ということは誤りだ"が導かれる
2. 推論1と事実19から、推論2: "この分刻みは唱導しない"が導かれる
3. 推論2と事実8から、推論3: "この表示例は第二警察学校でないしかつ痩せ難くない"が導かれる
4. 推論3と事実22から、推論4: "「そのブプレノルフィンは北上しない」ということは誤っていない"が導かれる
5. 事実20から、推論5: "「そのブプレノルフィンは北上しない」ということは成り立てばそれは飼い始めるかもしくはそれは確かめ得ない"が導かれる
6. 推論4と推論5から、推論6: "そのブプレノルフィンは飼い始めるかまたは確かめ得ないか両方だ"が導かれる
7. 推論6から、推論7: "あるものは飼い始めるかまたは確かめ得ないかどちらもだ"が導かれる
8. 推論7と事実5から、推論8: "あのスペリングは把持しない"が導かれる
9. 事実2と事実1から、推論9: "あのスペリングは濃いししかもそれは日向側だ"が導かれる
10. 推論9から、推論10: "あのスペリングは濃い"が導かれる
11. 推論8と推論10から、仮説が否定される

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