「その尋問室は黒鯛であるがしかし薄青くない」ということは嘘だ
fact1: 仮にある物が鉄片でないとすれば痛み出すしさらに軟骨骨折でない fact2: 仮にあのキャンペーンが軟骨骨折でないとするとあの金融ビッグバンは衰えないが傷付け易い fact3: あのポロシャツは探索する fact4: 仮にあのポロシャツが探索するならあのキャンペーンは鉄片だということはないかあるいは溢れないか両方である fact5: その尋問室は薄青くない fact6: もしとあるものは衰えない一方で傷付け易いならば「あの抗痙攣薬は御邪魔しない」ということは確かだ fact7: 黒鯛が薄青くないとすると傷付け易いということはない fact8: もし何らかのものが鉄片でないかもしくはそれが溢れないとしたらそれは鉄片でない fact9: その尋問室は傷付け易い
fact7 -> int1: もしもその尋問室が黒鯛だけど薄青いということはないとしたら傷付け易くない; void -> assump1: 以下のように仮定する。その尋問室は黒鯛であるがしかし薄青くない; int1 & assump1 -> int2: その尋問室は傷付け易いということはない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その尋問室は黒鯛であるけれど薄青くない
fact10 -> int4: 仮に「あのキャンペーンは鉄片でない」ということは成り立てばそれは痛み出すしかつ軟骨骨折でない; fact13 -> int5: もしもあのキャンペーンは鉄片でないかまたは溢れないかもしくは両方ともであるとすると鉄片でない; fact14 & fact11 -> int6: あのキャンペーンは鉄片でないかもしくはそれは溢れない; int5 & int6 -> int7: あのキャンペーンは鉄片でない; int4 & int7 -> int8: 「あのキャンペーンは痛み出すが軟骨骨折でない」ということは正しい; int8 -> int9: あのキャンペーンは軟骨骨折でない; fact15 & int9 -> int10: あの金融ビッグバンは衰えないが傷付け易い; int10 -> int11: 「衰えるということはないけれど傷付け易い」ものはある; int11 & fact12 -> int12: あの抗痙攣薬は御邪魔しない; int12 -> int13: とある物は御邪魔しない;
$facts$ = fact1: 仮にある物が鉄片でないとすれば痛み出すしさらに軟骨骨折でない fact2: 仮にあのキャンペーンが軟骨骨折でないとするとあの金融ビッグバンは衰えないが傷付け易い fact3: あのポロシャツは探索する fact4: 仮にあのポロシャツが探索するならあのキャンペーンは鉄片だということはないかあるいは溢れないか両方である fact5: その尋問室は薄青くない fact6: もしとあるものは衰えない一方で傷付け易いならば「あの抗痙攣薬は御邪魔しない」ということは確かだ fact7: 黒鯛が薄青くないとすると傷付け易いということはない fact8: もし何らかのものが鉄片でないかもしくはそれが溢れないとしたらそれは鉄片でない fact9: その尋問室は傷付け易い ; $hypothesis$ = 「その尋問室は黒鯛であるがしかし薄青くない」ということは嘘だ ; $proof$ = 
fact7 -> int1: もしもその尋問室が黒鯛だけど薄青いということはないとしたら傷付け易くない; void -> assump1: 以下のように仮定する。その尋問室は黒鯛であるがしかし薄青くない; int1 & assump1 -> int2: その尋問室は傷付け易いということはない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にある物が鉄片でないとすれば痛み出すしさらに軟骨骨折でない
事実2: 仮にあのキャンペーンが軟骨骨折でないとするとあの金融ビッグバンは衰えないが傷付け易い
事実3: あのポロシャツは探索する
事実4: 仮にあのポロシャツが探索するならあのキャンペーンは鉄片だということはないかあるいは溢れないか両方である
事実5: その尋問室は薄青くない
事実6: もしとあるものは衰えない一方で傷付け易いならば「あの抗痙攣薬は御邪魔しない」ということは確かだ
事実7: 黒鯛が薄青くないとすると傷付け易いということはない
事実8: もし何らかのものが鉄片でないかもしくはそれが溢れないとしたらそれは鉄片でない
事実9: その尋問室は傷付け易い

仮説: 「その尋問室は黒鯛であるがしかし薄青くない」ということは嘘だ
1. 事実7から、推論1: "もしもその尋問室が黒鯛だけど薄青いということはないとしたら傷付け易くない"が導かれる
2. 仮定1: 以下のように仮定する。その尋問室は黒鯛であるがしかし薄青くない
3. 推論1と仮定1から、推論2: "その尋問室は傷付け易いということはない"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。