「もし仮にあの鉛筆マークは警戒するとしたら「あの髄核は羽化しない」ということは正しい」ということは誤りだ
fact1: もしもあの髄核が警戒するがそれがおっかしいということはないとしたらそれは羽化する fact2: もし仮にあの鉛筆マークはおっかしいが敬わないとすれば「しんどい」ということは確かである fact3: あの受け取り証書はおっかしい fact4: あの髄核はしんどかない fact5: あの髄核は羽化するが関連し合わない fact6: あの髄核はおっかしい fact7: もし仮にあの鉛筆マークが警戒すればあの髄核は羽化する fact8: あの鉛筆マークはおっかしい一方で敬うということはない fact9: あの書は復号化するけど敬わない fact10: あの髄核は顕在する fact11: もし仮にあの鉛筆マークが警戒するしその上それがおっかしいならあの髄核はしんどかない fact12: あのドイツ社会は敬う fact13: もし仮にあの髄核が敬うとしたらあの鉛筆マークは警戒する fact14: あの鉛筆マークが警戒するしその上しんどいならあの髄核は羽化しない fact15: あの鉛筆マークが羽化するとしたらあの髄核はしんどかない fact16: もし仮にあの鉛筆マークが羽化するし警戒するならあの髄核はおっかしくない fact17: あの髄核が敬うがしかししんどかないならそれは羽化する
fact2 & fact8 -> int1: あの鉛筆マークはしんどい; void -> assump1: 以下のように仮定する。あの鉛筆マークは警戒する; int1 & assump1 -> int2: あの鉛筆マークは警戒するしその上しんどい; int2 & fact14 -> int3: あの髄核は羽化しない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもあの髄核が警戒するがそれがおっかしいということはないとしたらそれは羽化する fact2: もし仮にあの鉛筆マークはおっかしいが敬わないとすれば「しんどい」ということは確かである fact3: あの受け取り証書はおっかしい fact4: あの髄核はしんどかない fact5: あの髄核は羽化するが関連し合わない fact6: あの髄核はおっかしい fact7: もし仮にあの鉛筆マークが警戒すればあの髄核は羽化する fact8: あの鉛筆マークはおっかしい一方で敬うということはない fact9: あの書は復号化するけど敬わない fact10: あの髄核は顕在する fact11: もし仮にあの鉛筆マークが警戒するしその上それがおっかしいならあの髄核はしんどかない fact12: あのドイツ社会は敬う fact13: もし仮にあの髄核が敬うとしたらあの鉛筆マークは警戒する fact14: あの鉛筆マークが警戒するしその上しんどいならあの髄核は羽化しない fact15: あの鉛筆マークが羽化するとしたらあの髄核はしんどかない fact16: もし仮にあの鉛筆マークが羽化するし警戒するならあの髄核はおっかしくない fact17: あの髄核が敬うがしかししんどかないならそれは羽化する ; $hypothesis$ = 「もし仮にあの鉛筆マークは警戒するとしたら「あの髄核は羽化しない」ということは正しい」ということは誤りだ ; $proof$ = 
fact2 & fact8 -> int1: あの鉛筆マークはしんどい; void -> assump1: 以下のように仮定する。あの鉛筆マークは警戒する; int1 & assump1 -> int2: あの鉛筆マークは警戒するしその上しんどい; int2 & fact14 -> int3: あの髄核は羽化しない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもあの髄核が警戒するがそれがおっかしいということはないとしたらそれは羽化する
事実2: もし仮にあの鉛筆マークはおっかしいが敬わないとすれば「しんどい」ということは確かである
事実3: あの受け取り証書はおっかしい
事実4: あの髄核はしんどかない
事実5: あの髄核は羽化するが関連し合わない
事実6: あの髄核はおっかしい
事実7: もし仮にあの鉛筆マークが警戒すればあの髄核は羽化する
事実8: あの鉛筆マークはおっかしい一方で敬うということはない
事実9: あの書は復号化するけど敬わない
事実10: あの髄核は顕在する
事実11: もし仮にあの鉛筆マークが警戒するしその上それがおっかしいならあの髄核はしんどかない
事実12: あのドイツ社会は敬う
事実13: もし仮にあの髄核が敬うとしたらあの鉛筆マークは警戒する
事実14: あの鉛筆マークが警戒するしその上しんどいならあの髄核は羽化しない
事実15: あの鉛筆マークが羽化するとしたらあの髄核はしんどかない
事実16: もし仮にあの鉛筆マークが羽化するし警戒するならあの髄核はおっかしくない
事実17: あの髄核が敬うがしかししんどかないならそれは羽化する

仮説: 「もし仮にあの鉛筆マークは警戒するとしたら「あの髄核は羽化しない」ということは正しい」ということは誤りだ
1. 事実2と事実8から、推論1: "あの鉛筆マークはしんどい"が導かれる
2. 仮定1: 以下のように仮定する。あの鉛筆マークは警戒する
3. 推論1と仮定1から、推論2: "あの鉛筆マークは警戒するしその上しんどい"が導かれる
4. 推論2と事実14から、推論3: "あの髄核は羽化しない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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