「あのシリカ蒸着フィルムは地雷除去でない」ということは誤っていない
fact1: あのシリカ蒸着フィルムが真新しいが地雷除去であるということはないとすればこの外国技術は構え易くない fact2: 仮にこの外国技術は真新しくなくて加えて構え易くないなら「あのシリカ蒸着フィルムは地雷除去でない」ということは成り立つ fact3: 仮にあのシリカ蒸着フィルムが真新しいとしたらそれは地雷除去だ fact4: 何らかのものは電子計算機処理だとすると「五郎盛でないししかもそれは合い難くない」ということは本当でない fact5: あらゆる物は真新しくないしそれは構え易いということはない fact6: この外国技術は真新しくなくてそれは地雷除去だということはない fact7: もしあの方違えは制式化するということはないがしかし構え易いとすると「あのシリカ蒸着フィルムは構え易くない」ということは成り立つ fact8: 「なにがしかのものは持ち難くないしさらに真新しくない」ということは成り立たないならそれは真新しい fact9: あのシリカ蒸着フィルムが地雷除去であるということはないし加えて真新しくないとすればこの外国技術は構え易くない fact10: あのシリカ蒸着フィルムが真新しいけどそれが構え易くないとするとこの外国技術は地雷除去でない fact11: あの環境マネジメントシステムは真新しくない fact12: 「なんらかの物は五郎盛でないしさらに合い難くない」ということは偽だとするとそれは座り易い fact13: あの方違えが座り易いならばそれは制式化しないし構え易い
fact5 -> int1: この外国技術は真新しいということはなくて加えて構え易くない; int1 & fact2 -> hypothesis;
fact5 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact2 -> hypothesis;
あのシリカ蒸着フィルムは地雷除去だ
fact18 -> int2: 仮に「あのシリカ蒸着フィルムは持ち難くなくてしかも真新しいということはない」ということは成り立つということはないなら真新しい; fact19 -> int3: もし仮に「あの方違えは五郎盛でないしかつそれは合い難いということはない」ということは真実だということはないとすれば座り易い; fact14 -> int4: あの方違えは電子計算機処理だとすると「それは五郎盛でないしおまけに合い難くない」ということは嘘である;
$facts$ = fact1: あのシリカ蒸着フィルムが真新しいが地雷除去であるということはないとすればこの外国技術は構え易くない fact2: 仮にこの外国技術は真新しくなくて加えて構え易くないなら「あのシリカ蒸着フィルムは地雷除去でない」ということは成り立つ fact3: 仮にあのシリカ蒸着フィルムが真新しいとしたらそれは地雷除去だ fact4: 何らかのものは電子計算機処理だとすると「五郎盛でないししかもそれは合い難くない」ということは本当でない fact5: あらゆる物は真新しくないしそれは構え易いということはない fact6: この外国技術は真新しくなくてそれは地雷除去だということはない fact7: もしあの方違えは制式化するということはないがしかし構え易いとすると「あのシリカ蒸着フィルムは構え易くない」ということは成り立つ fact8: 「なにがしかのものは持ち難くないしさらに真新しくない」ということは成り立たないならそれは真新しい fact9: あのシリカ蒸着フィルムが地雷除去であるということはないし加えて真新しくないとすればこの外国技術は構え易くない fact10: あのシリカ蒸着フィルムが真新しいけどそれが構え易くないとするとこの外国技術は地雷除去でない fact11: あの環境マネジメントシステムは真新しくない fact12: 「なんらかの物は五郎盛でないしさらに合い難くない」ということは偽だとするとそれは座り易い fact13: あの方違えが座り易いならばそれは制式化しないし構え易い ; $hypothesis$ = 「あのシリカ蒸着フィルムは地雷除去でない」ということは誤っていない ; $proof$ = 
fact5 -> int1: この外国技術は真新しいということはなくて加えて構え易くない; int1 & fact2 -> hypothesis; __PROVED__
事実1: あのシリカ蒸着フィルムが真新しいが地雷除去であるということはないとすればこの外国技術は構え易くない
事実2: 仮にこの外国技術は真新しくなくて加えて構え易くないなら「あのシリカ蒸着フィルムは地雷除去でない」ということは成り立つ
事実3: 仮にあのシリカ蒸着フィルムが真新しいとしたらそれは地雷除去だ
事実4: 何らかのものは電子計算機処理だとすると「五郎盛でないししかもそれは合い難くない」ということは本当でない
事実5: あらゆる物は真新しくないしそれは構え易いということはない
事実6: この外国技術は真新しくなくてそれは地雷除去だということはない
事実7: もしあの方違えは制式化するということはないがしかし構え易いとすると「あのシリカ蒸着フィルムは構え易くない」ということは成り立つ
事実8: 「なにがしかのものは持ち難くないしさらに真新しくない」ということは成り立たないならそれは真新しい
事実9: あのシリカ蒸着フィルムが地雷除去であるということはないし加えて真新しくないとすればこの外国技術は構え易くない
事実10: あのシリカ蒸着フィルムが真新しいけどそれが構え易くないとするとこの外国技術は地雷除去でない
事実11: あの環境マネジメントシステムは真新しくない
事実12: 「なんらかの物は五郎盛でないしさらに合い難くない」ということは偽だとするとそれは座り易い
事実13: あの方違えが座り易いならばそれは制式化しないし構え易い

仮説: 「あのシリカ蒸着フィルムは地雷除去でない」ということは誤っていない
1. 事実5から、推論1: "この外国技術は真新しいということはなくて加えて構え易くない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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