「あのビットレートが根気強いとするとそのパルスオキシメータは他山だ」ということは間違っている
fact1: もし仮にそのパルスオキシメータはきな臭いということはないとすると「その静物は例うし光明皇太后だ」ということは偽だ fact2: あのビットレートは再輸出する fact3: もしもあのビットレートが他山だとすればそのパルスオキシメータは根気強い fact4: もし何かは作り易いとしたら「「あのトロピカル・カクテルはきな臭くないしまた子宮体癌だということはない」ということは本当だ」ということは成り立たない fact5: 学者先生は根気強い fact6: ペルソナは草臥れないとすれば「それは立ち尽くさない」ということは正しい fact7: もしあのビットレートは立ち尽くさないとすれば「あのバイタスコープは由々しいけど特定郵便局でない」ということは間違っている fact8: その静物が光明皇太后でないとしたらあのビットレートはペルソナであるけれど草臥れない fact9: その静物が学者先生であるならばそのパルスオキシメータは他山である fact10: もしも「何かは由々しい一方で特定郵便局でない」ということは成り立たないとするとそれは他山だ fact11: 仮にあのビットレートが根気強いとすればその静物は学者先生である fact12: 他山は学者先生だ fact13: もしも「あのトロピカル・カクテルはきな臭くなくて子宮体癌だということはない」ということは成り立たないとしたらそのパルスオキシメータはきな臭くない fact14: 「ある物は例うし光明皇太后だ」ということは成り立つということはないなら「光明皇太后でない」ということは間違いでない fact15: 「あのＯＥＣＤ加盟国は作り易い」ということは確かである fact16: そのパルスオキシメータは根気強い
void -> assump1: 以下のように仮定する。あのビットレートは根気強い; fact11 & assump1 -> int1: その静物は学者先生だ; int1 & fact9 -> int2: そのパルスオキシメータは他山である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact11 & assump1 -> int1: {B}{b}; int1 & fact9 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
あのバイタスコープは根気強い
fact18 -> int3: あのバイタスコープが学者先生ならばそれは根気強い; fact24 -> int4: もし仮にあのバイタスコープは他山であるとすればそれは学者先生である; fact20 -> int5: もしも「あのバイタスコープは由々しい一方で特定郵便局でない」ということは偽だとすると「それは他山である」ということは確かだ; fact21 -> int6: 仮にあのビットレートがペルソナだがしかしそれが草臥れないならそれは立ち尽くさない; fact19 -> int7: 仮に「その静物は例うしかつ光明皇太后だ」ということは成り立たないならばそれは光明皇太后でない; fact23 -> int8: 「「作り易い」ということは確かな」ものはある; int8 & fact22 -> int9: 「あのトロピカル・カクテルはきな臭くなくて加えて子宮体癌でない」ということは成り立たない; fact17 & int9 -> int10: そのパルスオキシメータはきな臭くない; fact26 & int10 -> int11: 「その静物は例うし更に光明皇太后である」ということは事実と異なる; int7 & int11 -> int12: 「その静物は光明皇太后でない」ということは本当である; fact25 & int12 -> int13: あのビットレートはペルソナだけど草臥れない; int6 & int13 -> int14: 「あのビットレートは立ち尽くさない」ということは成り立つ; fact27 & int14 -> int15: 「あのバイタスコープは由々しいがそれは特定郵便局でない」ということは誤りだ; int5 & int15 -> int16: あのバイタスコープは他山だ; int4 & int16 -> int17: あのバイタスコープは学者先生である; int3 & int17 -> hypothesis;
$facts$ = fact1: もし仮にそのパルスオキシメータはきな臭いということはないとすると「その静物は例うし光明皇太后だ」ということは偽だ fact2: あのビットレートは再輸出する fact3: もしもあのビットレートが他山だとすればそのパルスオキシメータは根気強い fact4: もし何かは作り易いとしたら「「あのトロピカル・カクテルはきな臭くないしまた子宮体癌だということはない」ということは本当だ」ということは成り立たない fact5: 学者先生は根気強い fact6: ペルソナは草臥れないとすれば「それは立ち尽くさない」ということは正しい fact7: もしあのビットレートは立ち尽くさないとすれば「あのバイタスコープは由々しいけど特定郵便局でない」ということは間違っている fact8: その静物が光明皇太后でないとしたらあのビットレートはペルソナであるけれど草臥れない fact9: その静物が学者先生であるならばそのパルスオキシメータは他山である fact10: もしも「何かは由々しい一方で特定郵便局でない」ということは成り立たないとするとそれは他山だ fact11: 仮にあのビットレートが根気強いとすればその静物は学者先生である fact12: 他山は学者先生だ fact13: もしも「あのトロピカル・カクテルはきな臭くなくて子宮体癌だということはない」ということは成り立たないとしたらそのパルスオキシメータはきな臭くない fact14: 「ある物は例うし光明皇太后だ」ということは成り立つということはないなら「光明皇太后でない」ということは間違いでない fact15: 「あのＯＥＣＤ加盟国は作り易い」ということは確かである fact16: そのパルスオキシメータは根気強い ; $hypothesis$ = 「あのビットレートが根気強いとするとそのパルスオキシメータは他山だ」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのビットレートは根気強い; fact11 & assump1 -> int1: その静物は学者先生だ; int1 & fact9 -> int2: そのパルスオキシメータは他山である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にそのパルスオキシメータはきな臭いということはないとすると「その静物は例うし光明皇太后だ」ということは偽だ
事実2: あのビットレートは再輸出する
事実3: もしもあのビットレートが他山だとすればそのパルスオキシメータは根気強い
事実4: もし何かは作り易いとしたら「「あのトロピカル・カクテルはきな臭くないしまた子宮体癌だということはない」ということは本当だ」ということは成り立たない
事実5: 学者先生は根気強い
事実6: ペルソナは草臥れないとすれば「それは立ち尽くさない」ということは正しい
事実7: もしあのビットレートは立ち尽くさないとすれば「あのバイタスコープは由々しいけど特定郵便局でない」ということは間違っている
事実8: その静物が光明皇太后でないとしたらあのビットレートはペルソナであるけれど草臥れない
事実9: その静物が学者先生であるならばそのパルスオキシメータは他山である
事実10: もしも「何かは由々しい一方で特定郵便局でない」ということは成り立たないとするとそれは他山だ
事実11: 仮にあのビットレートが根気強いとすればその静物は学者先生である
事実12: 他山は学者先生だ
事実13: もしも「あのトロピカル・カクテルはきな臭くなくて子宮体癌だということはない」ということは成り立たないとしたらそのパルスオキシメータはきな臭くない
事実14: 「ある物は例うし光明皇太后だ」ということは成り立つということはないなら「光明皇太后でない」ということは間違いでない
事実15: 「あのＯＥＣＤ加盟国は作り易い」ということは確かである
事実16: そのパルスオキシメータは根気強い

仮説: 「あのビットレートが根気強いとするとそのパルスオキシメータは他山だ」ということは間違っている
1. 仮定1: 以下のように仮定する。あのビットレートは根気強い
2. 事実11と仮定1から、推論1: "その静物は学者先生だ"が導かれる
3. 推論1と事実9から、推論2: "そのパルスオキシメータは他山である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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