あの銀色は人口高齢化だ
fact1: その最低売却価額はウェブ上でない fact2: 仮にその最低売却価額が愛くるしいということはないならばこのＬドラは宰相である fact3: そのウインドーズ側が配給量で刺々しいならあの銀色は人口高齢化でない fact4: そのウインドーズ側は配給量でその上それは寄る辺無い fact5: もし仮にそのウインドーズ側は刺々しかないなら「目まぐるしかないがしかしレコード化する」ということは真実でない fact6: もし「そのウインドーズ側は目まぐるしかないがしかしレコード化する」ということは嘘であるとしたらこのＬドラは宰相でない fact7: もしその最低売却価額がウェブ上でないとするとそれは愛くるしいということはないかまたはそれは宰相でない fact8: もしその最低売却価額が宰相でないならこのＬドラは宰相だ fact9: 仮に「とあるものは寄る辺無くなくてそれは宰相でない」ということは本当でないとしたらそれは宰相である
void -> assump1: 以下のように仮定する。そのウインドーズ側は刺々しかない; fact5 & assump1 -> int1: 「そのウインドーズ側は目まぐるしかないけれどレコード化する」ということは本当であるということはない; int1 & fact6 -> int2: このＬドラは宰相でない; fact1 & fact7 -> int3: 「その最低売却価額は愛くるしくないかまたは宰相でないか両方である」ということは成り立つ; fact8 & int3 & fact2 -> int4: 「このＬドラは宰相である」ということは本当だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのウインドーズ側は刺々しい; fact4 -> int7: そのウインドーズ側は配給量だ; int6 & int7 -> int8: そのウインドーズ側は配給量であるしそれは刺々しい; int8 & fact3 -> hypothesis;
あの銀色は人口高齢化だ
fact10 -> int9: 「そのウインドーズ側は寄る辺無くないしまた宰相でない」ということは本当だということはないとしたらそれは宰相だ;
$facts$ = fact1: その最低売却価額はウェブ上でない fact2: 仮にその最低売却価額が愛くるしいということはないならばこのＬドラは宰相である fact3: そのウインドーズ側が配給量で刺々しいならあの銀色は人口高齢化でない fact4: そのウインドーズ側は配給量でその上それは寄る辺無い fact5: もし仮にそのウインドーズ側は刺々しかないなら「目まぐるしかないがしかしレコード化する」ということは真実でない fact6: もし「そのウインドーズ側は目まぐるしかないがしかしレコード化する」ということは嘘であるとしたらこのＬドラは宰相でない fact7: もしその最低売却価額がウェブ上でないとするとそれは愛くるしいということはないかまたはそれは宰相でない fact8: もしその最低売却価額が宰相でないならこのＬドラは宰相だ fact9: 仮に「とあるものは寄る辺無くなくてそれは宰相でない」ということは本当でないとしたらそれは宰相である ; $hypothesis$ = あの銀色は人口高齢化だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのウインドーズ側は刺々しかない; fact5 & assump1 -> int1: 「そのウインドーズ側は目まぐるしかないけれどレコード化する」ということは本当であるということはない; int1 & fact6 -> int2: このＬドラは宰相でない; fact1 & fact7 -> int3: 「その最低売却価額は愛くるしくないかまたは宰相でないか両方である」ということは成り立つ; fact8 & int3 & fact2 -> int4: 「このＬドラは宰相である」ということは本当だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのウインドーズ側は刺々しい; fact4 -> int7: そのウインドーズ側は配給量だ; int6 & int7 -> int8: そのウインドーズ側は配給量であるしそれは刺々しい; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: その最低売却価額はウェブ上でない
事実2: 仮にその最低売却価額が愛くるしいということはないならばこのＬドラは宰相である
事実3: そのウインドーズ側が配給量で刺々しいならあの銀色は人口高齢化でない
事実4: そのウインドーズ側は配給量でその上それは寄る辺無い
事実5: もし仮にそのウインドーズ側は刺々しかないなら「目まぐるしかないがしかしレコード化する」ということは真実でない
事実6: もし「そのウインドーズ側は目まぐるしかないがしかしレコード化する」ということは嘘であるとしたらこのＬドラは宰相でない
事実7: もしその最低売却価額がウェブ上でないとするとそれは愛くるしいということはないかまたはそれは宰相でない
事実8: もしその最低売却価額が宰相でないならこのＬドラは宰相だ
事実9: 仮に「とあるものは寄る辺無くなくてそれは宰相でない」ということは本当でないとしたらそれは宰相である

仮説: あの銀色は人口高齢化だ
1. 仮定1: 以下のように仮定する。そのウインドーズ側は刺々しかない
2. 事実5と仮定1から、推論1: "「そのウインドーズ側は目まぐるしかないけれどレコード化する」ということは本当であるということはない"が導かれる
3. 推論1と事実6から、推論2: "このＬドラは宰相でない"が導かれる
4. 事実1と事実7から、推論3: "「その最低売却価額は愛くるしくないかまたは宰相でないか両方である」ということは成り立つ"が導かれる
5. 事実8と推論3と事実2から、推論4: "「このＬドラは宰相である」ということは本当だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのウインドーズ側は刺々しい"が導かれる
8. 事実4から、推論7: "そのウインドーズ側は配給量だ"が導かれる
9. 推論6と推論7から、推論8: "そのウインドーズ側は配給量であるしそれは刺々しい"が導かれる
10. 推論8と事実3から、仮説が否定される

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