「この国民主権は寝っ転がるし更にそれは学び続ける」ということは嘘である
fact1: もしあの姉や妹が包含しないとすればそれは提出者で塗り易い fact2: この国民主権は提出者である fact3: その宅地化は翻刻する一方で最新科学でない fact4: 「あの単は売り付けなくてそれはオペレーションシステムでない」ということは成り立たない fact5: 「「あの単は売り付けるということはないがしかしそれはオペレーションシステムだ」ということは成り立つ」ということは誤っている fact6: もしあるものが翻刻するがしかしそれは最新科学でないなら「割れない」ということは確かだ fact7: 仮にとあるものが取り除き過ぎるとすると寝っ転がる fact8: 「「売り付けるがオペレーションシステムでない」ということは嘘である」ものはある fact9: 提出者は学び続ける fact10: もし仮に「「売り付けるということはないし更にオペレーションシステムでない」ということは間違いである」ものがあるとしたらこの国民主権は取り除き過ぎる fact11: あの沖縄開発は取り除き過ぎる fact12: 仮にその中世時代が包含するけれどオレンジＭでないとしたらあの姉や妹は包含しない fact13: 「売り付けないししかもオペレーションシステムでない」ものはある fact14: もし仮にとあるものがオペレーションシステムならこの国民主権は取り除き過ぎる fact15: 「「売り付けないしかつオペレーションシステムだ」ということは偽である」物はある fact16: もし仮にその宅地化が割れないとするとその中世時代は包含するがしかしオレンジＭであるということはない
fact4 -> int1: 「「売り付けないしオペレーションシステムでない」ということは成り立たない」物はある; int1 & fact10 -> int2: この国民主権は取り除き過ぎる; fact7 -> int3: 仮にこの国民主権が取り除き過ぎるとしたらそれは寝っ転がる; int2 & int3 -> int4: 「この国民主権は寝っ転がる」ということは本当だ; fact9 -> int5: もしこの国民主権は提出者であるとすれば学び続ける; fact2 & int5 -> int6: この国民主権は学び続ける; int4 & int6 -> hypothesis;
「この国民主権は寝っ転がるし更に学び続ける」ということは間違っている
fact20 -> int7: もしその宅地化は翻刻するけど最新科学でないならばそれは割れない; int7 & fact21 -> int8: その宅地化は割れない; fact17 & int8 -> int9: その中世時代は包含するけどオレンジＭであるということはない; fact18 & int9 -> int10: あの姉や妹は包含しない; fact19 & int10 -> int11: あの姉や妹は提出者であるしそれは塗り易い; int11 -> int12: あの姉や妹は提出者だ; int12 -> int13: 「とあるものは提出者だ」ということは確かだ;
$facts$ = fact1: もしあの姉や妹が包含しないとすればそれは提出者で塗り易い fact2: この国民主権は提出者である fact3: その宅地化は翻刻する一方で最新科学でない fact4: 「あの単は売り付けなくてそれはオペレーションシステムでない」ということは成り立たない fact5: 「「あの単は売り付けるということはないがしかしそれはオペレーションシステムだ」ということは成り立つ」ということは誤っている fact6: もしあるものが翻刻するがしかしそれは最新科学でないなら「割れない」ということは確かだ fact7: 仮にとあるものが取り除き過ぎるとすると寝っ転がる fact8: 「「売り付けるがオペレーションシステムでない」ということは嘘である」ものはある fact9: 提出者は学び続ける fact10: もし仮に「「売り付けるということはないし更にオペレーションシステムでない」ということは間違いである」ものがあるとしたらこの国民主権は取り除き過ぎる fact11: あの沖縄開発は取り除き過ぎる fact12: 仮にその中世時代が包含するけれどオレンジＭでないとしたらあの姉や妹は包含しない fact13: 「売り付けないししかもオペレーションシステムでない」ものはある fact14: もし仮にとあるものがオペレーションシステムならこの国民主権は取り除き過ぎる fact15: 「「売り付けないしかつオペレーションシステムだ」ということは偽である」物はある fact16: もし仮にその宅地化が割れないとするとその中世時代は包含するがしかしオレンジＭであるということはない ; $hypothesis$ = 「この国民主権は寝っ転がるし更にそれは学び続ける」ということは嘘である ; $proof$ = 
fact4 -> int1: 「「売り付けないしオペレーションシステムでない」ということは成り立たない」物はある; int1 & fact10 -> int2: この国民主権は取り除き過ぎる; fact7 -> int3: 仮にこの国民主権が取り除き過ぎるとしたらそれは寝っ転がる; int2 & int3 -> int4: 「この国民主権は寝っ転がる」ということは本当だ; fact9 -> int5: もしこの国民主権は提出者であるとすれば学び続ける; fact2 & int5 -> int6: この国民主権は学び続ける; int4 & int6 -> hypothesis; __DISPROVED__
事実1: もしあの姉や妹が包含しないとすればそれは提出者で塗り易い
事実2: この国民主権は提出者である
事実3: その宅地化は翻刻する一方で最新科学でない
事実4: 「あの単は売り付けなくてそれはオペレーションシステムでない」ということは成り立たない
事実5: 「「あの単は売り付けるということはないがしかしそれはオペレーションシステムだ」ということは成り立つ」ということは誤っている
事実6: もしあるものが翻刻するがしかしそれは最新科学でないなら「割れない」ということは確かだ
事実7: 仮にとあるものが取り除き過ぎるとすると寝っ転がる
事実8: 「「売り付けるがオペレーションシステムでない」ということは嘘である」ものはある
事実9: 提出者は学び続ける
事実10: もし仮に「「売り付けるということはないし更にオペレーションシステムでない」ということは間違いである」ものがあるとしたらこの国民主権は取り除き過ぎる
事実11: あの沖縄開発は取り除き過ぎる
事実12: 仮にその中世時代が包含するけれどオレンジＭでないとしたらあの姉や妹は包含しない
事実13: 「売り付けないししかもオペレーションシステムでない」ものはある
事実14: もし仮にとあるものがオペレーションシステムならこの国民主権は取り除き過ぎる
事実15: 「「売り付けないしかつオペレーションシステムだ」ということは偽である」物はある
事実16: もし仮にその宅地化が割れないとするとその中世時代は包含するがしかしオレンジＭであるということはない

仮説: 「この国民主権は寝っ転がるし更にそれは学び続ける」ということは嘘である
1. 事実4から、推論1: "「「売り付けないしオペレーションシステムでない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実10から、推論2: "この国民主権は取り除き過ぎる"が導かれる
3. 事実7から、推論3: "仮にこの国民主権が取り除き過ぎるとしたらそれは寝っ転がる"が導かれる
4. 推論2と推論3から、推論4: "「この国民主権は寝っ転がる」ということは本当だ"が導かれる
5. 事実9から、推論5: "もしこの国民主権は提出者であるとすれば学び続ける"が導かれる
6. 事実2と推論5から、推論6: "この国民主権は学び続ける"が導かれる
7. 推論4と推論6から、仮説が否定される

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