その軽巡洋艦は金属鍍金樹脂粒子であるかあるいは対面する
fact1: すんごくないものは金属鍍金樹脂粒子だ fact2: 仮にとあるものは発生し難くないならば焼き難い fact3: 仮に「その軽巡洋艦は焼き難いしそれに発生し難い」ということは間違いであるならそれはすんごくない fact4: 「その軽巡洋艦は焼き難いしその上発生し難い」ということは成り立たない
fact3 & fact4 -> int1: その軽巡洋艦はすんごくない; fact1 -> int2: その軽巡洋艦がすんごくないとすれば金属鍍金樹脂粒子だ; int1 & int2 -> int3: その軽巡洋艦は金属鍍金樹脂粒子である; int3 -> hypothesis;
fact3 & fact4 -> int1: ¬{B}{a}; fact1 -> int2: ¬{B}{a} -> {A}{a}; int1 & int2 -> int3: {A}{a}; int3 -> hypothesis;
$facts$ = fact1: すんごくないものは金属鍍金樹脂粒子だ fact2: 仮にとあるものは発生し難くないならば焼き難い fact3: 仮に「その軽巡洋艦は焼き難いしそれに発生し難い」ということは間違いであるならそれはすんごくない fact4: 「その軽巡洋艦は焼き難いしその上発生し難い」ということは成り立たない ; $hypothesis$ = その軽巡洋艦は金属鍍金樹脂粒子であるかあるいは対面する ; $proof$ = 
fact3 & fact4 -> int1: その軽巡洋艦はすんごくない; fact1 -> int2: その軽巡洋艦がすんごくないとすれば金属鍍金樹脂粒子だ; int1 & int2 -> int3: その軽巡洋艦は金属鍍金樹脂粒子である; int3 -> hypothesis; __PROVED__
事実1: すんごくないものは金属鍍金樹脂粒子だ
事実2: 仮にとあるものは発生し難くないならば焼き難い
事実3: 仮に「その軽巡洋艦は焼き難いしそれに発生し難い」ということは間違いであるならそれはすんごくない
事実4: 「その軽巡洋艦は焼き難いしその上発生し難い」ということは成り立たない

仮説: その軽巡洋艦は金属鍍金樹脂粒子であるかあるいは対面する
1. 事実3と事実4から、推論1: "その軽巡洋艦はすんごくない"が導かれる
2. 事実1から、推論2: "その軽巡洋艦がすんごくないとすれば金属鍍金樹脂粒子だ"が導かれる
3. 推論1と推論2から、推論3: "その軽巡洋艦は金属鍍金樹脂粒子である"が導かれる
4. 推論3から、仮説が導かれる

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