このキーイメージは赤い
fact1: もし仮になにかは女っぽくないならば「それは夜明け前でないかあるいは十七Ｂでないかもしくは両方ともだ」ということは真実でない fact2: もしもその帥はあざといということはないなら「それは女っぽくない」ということは正しい fact3: このキーイメージが重たくないとするとその五．一は赤い fact4: 「「結核症で哲学入門である」ということは嘘な」ものはある fact5: その五．一は死亡時であるかもしくは重たい fact6: もし仮にその五．一は死亡時であるかまたは重たくないか両方ともであるとしたら「このキーイメージは赤い」ということは成り立つ fact7: 「「結核症であるしそれに哲学入門だ」ということは誤りな」物があるとしたらその帥はあざとくない fact8: もし仮に「何かは死亡時であるかまたは重たいかあるいはどちらもである」ということは間違っていれば赤くない fact9: その五．一は死亡時である
fact9 -> int1: その五．一は死亡時であるかまたは重たくない; int1 & fact6 -> hypothesis;
このキーイメージは死亡時だ
fact10 -> int2: もし仮にその帥は女っぽくないならば「それは夜明け前でないかあるいは十七Ｂでない」ということは間違いだ; fact13 & fact11 -> int3: 「その帥はあざとくない」ということは成り立つ; fact12 & int3 -> int4: その帥は女っぽくない; int2 & int4 -> int5: 「その帥は夜明け前でないかあるいは十七Ｂでない」ということは成り立たない; int5 -> int6: 「「夜明け前でないかもしくは十七Ｂでないかまたはどちらもだ」ということは誤っている」ものはある;
$facts$ = fact1: もし仮になにかは女っぽくないならば「それは夜明け前でないかあるいは十七Ｂでないかもしくは両方ともだ」ということは真実でない fact2: もしもその帥はあざといということはないなら「それは女っぽくない」ということは正しい fact3: このキーイメージが重たくないとするとその五．一は赤い fact4: 「「結核症で哲学入門である」ということは嘘な」ものはある fact5: その五．一は死亡時であるかもしくは重たい fact6: もし仮にその五．一は死亡時であるかまたは重たくないか両方ともであるとしたら「このキーイメージは赤い」ということは成り立つ fact7: 「「結核症であるしそれに哲学入門だ」ということは誤りな」物があるとしたらその帥はあざとくない fact8: もし仮に「何かは死亡時であるかまたは重たいかあるいはどちらもである」ということは間違っていれば赤くない fact9: その五．一は死亡時である ; $hypothesis$ = このキーイメージは赤い ; $proof$ = 
fact9 -> int1: その五．一は死亡時であるかまたは重たくない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし仮になにかは女っぽくないならば「それは夜明け前でないかあるいは十七Ｂでないかもしくは両方ともだ」ということは真実でない
事実2: もしもその帥はあざといということはないなら「それは女っぽくない」ということは正しい
事実3: このキーイメージが重たくないとするとその五．一は赤い
事実4: 「「結核症で哲学入門である」ということは嘘な」ものはある
事実5: その五．一は死亡時であるかもしくは重たい
事実6: もし仮にその五．一は死亡時であるかまたは重たくないか両方ともであるとしたら「このキーイメージは赤い」ということは成り立つ
事実7: 「「結核症であるしそれに哲学入門だ」ということは誤りな」物があるとしたらその帥はあざとくない
事実8: もし仮に「何かは死亡時であるかまたは重たいかあるいはどちらもである」ということは間違っていれば赤くない
事実9: その五．一は死亡時である

仮説: このキーイメージは赤い
1. 事実9から、推論1: "その五．一は死亡時であるかまたは重たくない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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