「もしもその商品市場は焦がれるなら「あの主観的意味世界は甚だしくないが赤黒い」ということは嘘である」ということは偽だ
fact1: もし仮にその商品市場が深遠であるならその重症肺炎は網倉大作でなくておまけに修正後でない fact2: もしその重症肺炎が網倉大作でないし修正後でないとすればその買い取り請求は赤黒くない fact3: もしも「その商品市場は焦がれる」ということは確かであるとしたら深遠だ fact4: もしもその買い取り請求は赤黒くないとしたら「あの主観的意味世界は甚だしくないけれどそれは赤黒い」ということは偽である
void -> assump1: 以下のように仮定する。その商品市場は焦がれる; fact3 & assump1 -> int1: その商品市場は深遠である; int1 & fact1 -> int2: その重症肺炎は網倉大作でないし加えて修正後でない; int2 & fact2 -> int3: その買い取り請求は赤黒くない; int3 & fact4 -> int4: 「あの主観的意味世界は甚だしくないけど赤黒い」ということは間違いだ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮にその商品市場が深遠であるならその重症肺炎は網倉大作でなくておまけに修正後でない fact2: もしその重症肺炎が網倉大作でないし修正後でないとすればその買い取り請求は赤黒くない fact3: もしも「その商品市場は焦がれる」ということは確かであるとしたら深遠だ fact4: もしもその買い取り請求は赤黒くないとしたら「あの主観的意味世界は甚だしくないけれどそれは赤黒い」ということは偽である ; $hypothesis$ = 「もしもその商品市場は焦がれるなら「あの主観的意味世界は甚だしくないが赤黒い」ということは嘘である」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その商品市場は焦がれる; fact3 & assump1 -> int1: その商品市場は深遠である; int1 & fact1 -> int2: その重症肺炎は網倉大作でないし加えて修正後でない; int2 & fact2 -> int3: その買い取り請求は赤黒くない; int3 & fact4 -> int4: 「あの主観的意味世界は甚だしくないけど赤黒い」ということは間違いだ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその商品市場が深遠であるならその重症肺炎は網倉大作でなくておまけに修正後でない
事実2: もしその重症肺炎が網倉大作でないし修正後でないとすればその買い取り請求は赤黒くない
事実3: もしも「その商品市場は焦がれる」ということは確かであるとしたら深遠だ
事実4: もしもその買い取り請求は赤黒くないとしたら「あの主観的意味世界は甚だしくないけれどそれは赤黒い」ということは偽である

仮説: 「もしもその商品市場は焦がれるなら「あの主観的意味世界は甚だしくないが赤黒い」ということは嘘である」ということは偽だ
1. 仮定1: 以下のように仮定する。その商品市場は焦がれる
2. 事実3と仮定1から、推論1: "その商品市場は深遠である"が導かれる
3. 推論1と事実1から、推論2: "その重症肺炎は網倉大作でないし加えて修正後でない"が導かれる
4. 推論2と事実2から、推論3: "その買い取り請求は赤黒くない"が導かれる
5. 推論3と事実4から、推論4: "「あの主観的意味世界は甚だしくないけど赤黒い」ということは間違いだ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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