この髄鞘は負んぶしないし国民でない
fact1: どれもこれもは保ち易いということはなくて美化しない fact2: もしも保ち易くないものが美化しないとしたらそれは国民でない fact3: もし「この髄鞘は保ち易いということはないが国民である」ということは成り立つとするとそれは美化するということはない fact4: もし仮にこの髄鞘が負んぶしなくて国民でないならば「それは美化するということはない」ということは事実と異ならない fact5: 仮にこの砲身が国民でないとするとこの髄鞘は負んぶしないし更にそれは国民でない
fact2 -> int1: もし仮にこの砲身が保ち易くないしその上美化しないとすると「国民でない」ということは確かである; fact1 -> int2: この砲身は保ち易くないしかつ美化しない; int1 & int2 -> int3: この砲身は国民でない; int3 & fact5 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact5 -> hypothesis;
$facts$ = fact1: どれもこれもは保ち易いということはなくて美化しない fact2: もしも保ち易くないものが美化しないとしたらそれは国民でない fact3: もし「この髄鞘は保ち易いということはないが国民である」ということは成り立つとするとそれは美化するということはない fact4: もし仮にこの髄鞘が負んぶしなくて国民でないならば「それは美化するということはない」ということは事実と異ならない fact5: 仮にこの砲身が国民でないとするとこの髄鞘は負んぶしないし更にそれは国民でない ; $hypothesis$ = この髄鞘は負んぶしないし国民でない ; $proof$ = 
fact2 -> int1: もし仮にこの砲身が保ち易くないしその上美化しないとすると「国民でない」ということは確かである; fact1 -> int2: この砲身は保ち易くないしかつ美化しない; int1 & int2 -> int3: この砲身は国民でない; int3 & fact5 -> hypothesis; __PROVED__
事実1: どれもこれもは保ち易いということはなくて美化しない
事実2: もしも保ち易くないものが美化しないとしたらそれは国民でない
事実3: もし「この髄鞘は保ち易いということはないが国民である」ということは成り立つとするとそれは美化するということはない
事実4: もし仮にこの髄鞘が負んぶしなくて国民でないならば「それは美化するということはない」ということは事実と異ならない
事実5: 仮にこの砲身が国民でないとするとこの髄鞘は負んぶしないし更にそれは国民でない

仮説: この髄鞘は負んぶしないし国民でない
1. 事実2から、推論1: "もし仮にこの砲身が保ち易くないしその上美化しないとすると「国民でない」ということは確かである"が導かれる
2. 事実1から、推論2: "この砲身は保ち易くないしかつ美化しない"が導かれる
3. 推論1と推論2から、推論3: "この砲身は国民でない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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