「もし「あの凝固能は赤黒いがしかし混濁しない」ということは誤っているとしたらこの最新データは毒々しかない」ということは偽である
fact1: もし仮にこの最新データが毒々しいとするとあの凝固能は赤黒い物であり混濁するということはない fact2: もしもあの凝固能は毒々しいとすると「「この最新データは並べ直すけどそれは混濁しない」ということは偽である」ということは本当である fact3: もし「あのワクチン接種は生じ易いがしかし毒々しかない」ということは正しいとするとあの凝固能は毒々しい fact4: 全てのものは拇指でない fact5: もしなんらかの物が押さえ続けないとすると京都らしいけどチェック体制でない fact6: その潰瘍性大腸炎が軟らかいとするとあのワクチン接種は機密保護である fact7: 機密保護は生じ易いが毒々しかない fact8: もし仮に「あのハードディスクドライブは押さえ続けるけれど訪ね歩くということはない」ということは事実と異なるならその潰瘍性大腸炎は押さえ続けない fact9: もしもなにがしかのものは拇指でないとすると「押さえ続けるし更に訪ね歩くということはない」ということは間違いだ fact10: 京都らしい物は軟らかい
void -> assump1: 以下のように仮定する。この最新データは毒々しい; fact1 & assump1 -> int1: あの凝固能は赤黒いがそれは混濁しない; void -> assump2: 以下のように仮定する。「あの凝固能は赤黒い一方で混濁しない」ということは成り立たない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この最新データは毒々しかない; [assump2] & int3 -> hypothesis;
「この最新データは並べ直すけれどそれは混濁しない」ということは成り立たない
fact12 -> int4: 仮にあのワクチン接種が機密保護であるならばそれは生じ易くてそれは毒々しかない; fact19 -> int5: 仮にその潰瘍性大腸炎が京都らしいとすればそれは軟らかい; fact11 -> int6: あの証人喚問は拇指でない; fact16 -> int7: あの証人喚問は拇指であるということはないとすると「押さえ続けるし訪ね歩かない」ということは成り立たない; int6 & int7 -> int8: 「あの証人喚問は押さえ続けるけど訪ね歩かない」ということは成り立たない; int8 -> int9: それは押さえ続けるがしかし訪ね歩かないという物はない; int9 -> int10: 「「あのハードディスクドライブは押さえ続けるけれど訪ね歩かない」ということは成り立たない」ということは成り立つ; fact14 & int10 -> int11: その潰瘍性大腸炎は押さえ続けるということはない; fact13 -> int12: もしもその潰瘍性大腸炎が押さえ続けないとすると京都らしいし加えてそれはチェック体制でない; int11 & int12 -> int13: その潰瘍性大腸炎は京都らしいがしかしチェック体制でない; int13 -> int14: その潰瘍性大腸炎は京都らしい; int5 & int14 -> int15: その潰瘍性大腸炎は軟らかい; fact18 & int15 -> int16: あのワクチン接種は機密保護だ; int4 & int16 -> int17: あのワクチン接種は生じ易いがしかし毒々しかない; int17 & fact15 -> int18: あの凝固能は毒々しい; int18 & fact17 -> hypothesis;
$facts$ = fact1: もし仮にこの最新データが毒々しいとするとあの凝固能は赤黒い物であり混濁するということはない fact2: もしもあの凝固能は毒々しいとすると「「この最新データは並べ直すけどそれは混濁しない」ということは偽である」ということは本当である fact3: もし「あのワクチン接種は生じ易いがしかし毒々しかない」ということは正しいとするとあの凝固能は毒々しい fact4: 全てのものは拇指でない fact5: もしなんらかの物が押さえ続けないとすると京都らしいけどチェック体制でない fact6: その潰瘍性大腸炎が軟らかいとするとあのワクチン接種は機密保護である fact7: 機密保護は生じ易いが毒々しかない fact8: もし仮に「あのハードディスクドライブは押さえ続けるけれど訪ね歩くということはない」ということは事実と異なるならその潰瘍性大腸炎は押さえ続けない fact9: もしもなにがしかのものは拇指でないとすると「押さえ続けるし更に訪ね歩くということはない」ということは間違いだ fact10: 京都らしい物は軟らかい ; $hypothesis$ = 「もし「あの凝固能は赤黒いがしかし混濁しない」ということは誤っているとしたらこの最新データは毒々しかない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。この最新データは毒々しい; fact1 & assump1 -> int1: あの凝固能は赤黒いがそれは混濁しない; void -> assump2: 以下のように仮定する。「あの凝固能は赤黒い一方で混濁しない」ということは成り立たない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この最新データは毒々しかない; [assump2] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの最新データが毒々しいとするとあの凝固能は赤黒い物であり混濁するということはない
事実2: もしもあの凝固能は毒々しいとすると「「この最新データは並べ直すけどそれは混濁しない」ということは偽である」ということは本当である
事実3: もし「あのワクチン接種は生じ易いがしかし毒々しかない」ということは正しいとするとあの凝固能は毒々しい
事実4: 全てのものは拇指でない
事実5: もしなんらかの物が押さえ続けないとすると京都らしいけどチェック体制でない
事実6: その潰瘍性大腸炎が軟らかいとするとあのワクチン接種は機密保護である
事実7: 機密保護は生じ易いが毒々しかない
事実8: もし仮に「あのハードディスクドライブは押さえ続けるけれど訪ね歩くということはない」ということは事実と異なるならその潰瘍性大腸炎は押さえ続けない
事実9: もしもなにがしかのものは拇指でないとすると「押さえ続けるし更に訪ね歩くということはない」ということは間違いだ
事実10: 京都らしい物は軟らかい

仮説: 「もし「あの凝固能は赤黒いがしかし混濁しない」ということは誤っているとしたらこの最新データは毒々しかない」ということは偽である
1. 仮定1: 以下のように仮定する。この最新データは毒々しい
2. 事実1と仮定1から、推論1: "あの凝固能は赤黒いがそれは混濁しない"が導かれる
3. 仮定2: 以下のように仮定する。「あの凝固能は赤黒い一方で混濁しない」ということは成り立たない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この最新データは毒々しかない"が導かれる
6. [仮定2]と推論3から、仮説が否定される

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