そのダメージは初々しかない
fact1: この訓練所がぼやかないけど垢抜けるとすればそのダメージは初々しかない fact2: 初々しかない物はぼやかないけど垢抜ける fact3: 「このテープは御めでたくないかもしくは漏らさないかもしくは両方である」ということは成り立たない fact4: なにがしかの物が漏らさないとすれば初々しくておまけにそれは御めでたい fact5: 「御めでたくない物はぼやくということはないけれど垢抜ける」ということは真実である fact6: もし仮に「このテープは御めでたくないかあるいはそれは漏らさないかまたは両方である」ということは成り立たないとするとこの訓練所は御めでたくない fact7: 御めでたくないものはぼやくということはない
fact5 -> int1: 「この訓練所は御めでたくない」ということは真実であるとするとそれはぼやかないしそれに垢抜ける; fact3 & fact6 -> int2: この訓練所は御めでたくない; int1 & int2 -> int3: この訓練所はぼやかないけどそれは垢抜ける; int3 & fact1 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact3 & fact6 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact1 -> hypothesis;
そのダメージは初々しい
fact8 -> int4: もしもそのダメージが漏らさないならそれは初々しいしさらに御めでたい;
$facts$ = fact1: この訓練所がぼやかないけど垢抜けるとすればそのダメージは初々しかない fact2: 初々しかない物はぼやかないけど垢抜ける fact3: 「このテープは御めでたくないかもしくは漏らさないかもしくは両方である」ということは成り立たない fact4: なにがしかの物が漏らさないとすれば初々しくておまけにそれは御めでたい fact5: 「御めでたくない物はぼやくということはないけれど垢抜ける」ということは真実である fact6: もし仮に「このテープは御めでたくないかあるいはそれは漏らさないかまたは両方である」ということは成り立たないとするとこの訓練所は御めでたくない fact7: 御めでたくないものはぼやくということはない ; $hypothesis$ = そのダメージは初々しかない ; $proof$ = 
fact5 -> int1: 「この訓練所は御めでたくない」ということは真実であるとするとそれはぼやかないしそれに垢抜ける; fact3 & fact6 -> int2: この訓練所は御めでたくない; int1 & int2 -> int3: この訓練所はぼやかないけどそれは垢抜ける; int3 & fact1 -> hypothesis; __PROVED__
事実1: この訓練所がぼやかないけど垢抜けるとすればそのダメージは初々しかない
事実2: 初々しかない物はぼやかないけど垢抜ける
事実3: 「このテープは御めでたくないかもしくは漏らさないかもしくは両方である」ということは成り立たない
事実4: なにがしかの物が漏らさないとすれば初々しくておまけにそれは御めでたい
事実5: 「御めでたくない物はぼやくということはないけれど垢抜ける」ということは真実である
事実6: もし仮に「このテープは御めでたくないかあるいはそれは漏らさないかまたは両方である」ということは成り立たないとするとこの訓練所は御めでたくない
事実7: 御めでたくないものはぼやくということはない

仮説: そのダメージは初々しかない
1. 事実5から、推論1: "「この訓練所は御めでたくない」ということは真実であるとするとそれはぼやかないしそれに垢抜ける"が導かれる
2. 事実3と事実6から、推論2: "この訓練所は御めでたくない"が導かれる
3. 推論1と推論2から、推論3: "この訓練所はぼやかないけどそれは垢抜ける"が導かれる
4. 推論3と事実1から、仮説が導かれる

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