その軍事用は引き出し易いけれどそれは御戻りに成らない
fact1: その軍事用はべた付き易くないなら「あのバックアップフォルダは御戻りに成らない」ということは成り立つ fact2: あのバックアップフォルダがべた付き易くないとするとその軍事用は引き出し易いけれど御戻りに成らない fact3: もし仮になんらかのものはべた付き易くないとしたら「それは引き出し易いけど御戻りに成らない」ということは本当であるということはない fact4: あのバックアップフォルダはべた付き易くない fact5: 仮に「その軍事用はべた付き易くない」ということは正しいとしたらあのバックアップフォルダは引き出し易くない fact6: あのボンベイ・サファイアは御戻りに成らない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
「その軍事用は引き出し易いがしかし御戻りに成らない」ということは誤りである
fact7 -> int1: もしもその軍事用はべた付き易いということはないとすれば「それは引き出し易いしそれは御戻りに成らない」ということは成り立たない;
$facts$ = fact1: その軍事用はべた付き易くないなら「あのバックアップフォルダは御戻りに成らない」ということは成り立つ fact2: あのバックアップフォルダがべた付き易くないとするとその軍事用は引き出し易いけれど御戻りに成らない fact3: もし仮になんらかのものはべた付き易くないとしたら「それは引き出し易いけど御戻りに成らない」ということは本当であるということはない fact4: あのバックアップフォルダはべた付き易くない fact5: 仮に「その軍事用はべた付き易くない」ということは正しいとしたらあのバックアップフォルダは引き出し易くない fact6: あのボンベイ・サファイアは御戻りに成らない ; $hypothesis$ = その軍事用は引き出し易いけれどそれは御戻りに成らない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: その軍事用はべた付き易くないなら「あのバックアップフォルダは御戻りに成らない」ということは成り立つ
事実2: あのバックアップフォルダがべた付き易くないとするとその軍事用は引き出し易いけれど御戻りに成らない
事実3: もし仮になんらかのものはべた付き易くないとしたら「それは引き出し易いけど御戻りに成らない」ということは本当であるということはない
事実4: あのバックアップフォルダはべた付き易くない
事実5: 仮に「その軍事用はべた付き易くない」ということは正しいとしたらあのバックアップフォルダは引き出し易くない
事実6: あのボンベイ・サファイアは御戻りに成らない

仮説: その軍事用は引き出し易いけれどそれは御戻りに成らない
1. 事実2と事実4から、仮説が導かれる

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