「この東京都公文書館蔵は長々しかない」ということは確かだ
fact1: もし「コンピュータシステムでなくてアプローチし易くない」ものがあるとすればこの東京都公文書館蔵は長々しかない fact2: 「あの白露はコンピュータシステムであるということはないしアプローチし易くない」ということは成り立つ fact3: あの白露はコンピュータシステムでない
fact2 -> int1: 「コンピュータシステムであるということはなくてそれにアプローチし易くない」物はある; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact1 -> hypothesis;
$facts$ = fact1: もし「コンピュータシステムでなくてアプローチし易くない」ものがあるとすればこの東京都公文書館蔵は長々しかない fact2: 「あの白露はコンピュータシステムであるということはないしアプローチし易くない」ということは成り立つ fact3: あの白露はコンピュータシステムでない ; $hypothesis$ = 「この東京都公文書館蔵は長々しかない」ということは確かだ ; $proof$ = 
fact2 -> int1: 「コンピュータシステムであるということはなくてそれにアプローチし易くない」物はある; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし「コンピュータシステムでなくてアプローチし易くない」ものがあるとすればこの東京都公文書館蔵は長々しかない
事実2: 「あの白露はコンピュータシステムであるということはないしアプローチし易くない」ということは成り立つ
事実3: あの白露はコンピュータシステムでない

仮説: 「この東京都公文書館蔵は長々しかない」ということは確かだ
1. 事実2から、推論1: "「コンピュータシステムであるということはなくてそれにアプローチし易くない」物はある"が導かれる
2. 推論1と事実1から、仮説が導かれる

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