この宗族内は粘っこくないけれど判読出来る
fact1: 仮にこの簿記が海軍武官であるとしたらあの沈下は甚振る fact2: この簿記が御入るなら海軍武官だ fact3: それは十三参照であるしその上それはクリアリング・バンクであるという物はない fact4: もし仮に「この宗族内は十三参照だということはなくてかつクリアリング・バンクでない」ということは成り立たないとするとそれは甚振らない fact5: 仮になにがしかの物が甚振るかあるいはクリアリング・バンクであるかあるいはどちらもならばその改良型は十三参照だ fact6: 仮にこの宗族内は答え難いならば「それは十三参照だということはないし更にそれはクリアリング・バンクでない」ということは間違っている fact7: 「この簿記は捨象する一方で大喝采であるということはない」ということは間違っている fact8: 十三参照は答え難い fact9: もしその改良型が答え難いならばこの宗族内は粘っこくないがそれは判読出来る fact10: 「この簿記は捨象するがしかし大喝采でない」ということは嘘であるならばそれは御入る fact11: 仮になんらかのものは海軍武官でないなら内通しないが捨象する
fact10 & fact7 -> int1: この簿記は御入る; int1 & fact2 -> int2: この簿記は海軍武官である; int2 & fact1 -> int3: あの沈下は甚振る; int3 -> int4: あの沈下は甚振るかあるいはクリアリング・バンクである; int4 -> int5: なんらかのものは甚振るかまたはそれはクリアリング・バンクだ; int5 & fact5 -> int6: その改良型は十三参照である; fact8 -> int7: その改良型は十三参照であるとすれば答え難い; int6 & int7 -> int8: その改良型は答え難い; int8 & fact9 -> hypothesis;
この宗族内は内通するということはない一方で捨象する
fact13 -> int9: もし仮にこの宗族内が海軍武官でないとすればそれは内通しない一方で捨象する;
$facts$ = fact1: 仮にこの簿記が海軍武官であるとしたらあの沈下は甚振る fact2: この簿記が御入るなら海軍武官だ fact3: それは十三参照であるしその上それはクリアリング・バンクであるという物はない fact4: もし仮に「この宗族内は十三参照だということはなくてかつクリアリング・バンクでない」ということは成り立たないとするとそれは甚振らない fact5: 仮になにがしかの物が甚振るかあるいはクリアリング・バンクであるかあるいはどちらもならばその改良型は十三参照だ fact6: 仮にこの宗族内は答え難いならば「それは十三参照だということはないし更にそれはクリアリング・バンクでない」ということは間違っている fact7: 「この簿記は捨象する一方で大喝采であるということはない」ということは間違っている fact8: 十三参照は答え難い fact9: もしその改良型が答え難いならばこの宗族内は粘っこくないがそれは判読出来る fact10: 「この簿記は捨象するがしかし大喝采でない」ということは嘘であるならばそれは御入る fact11: 仮になんらかのものは海軍武官でないなら内通しないが捨象する ; $hypothesis$ = この宗族内は粘っこくないけれど判読出来る ; $proof$ = 
fact10 & fact7 -> int1: この簿記は御入る; int1 & fact2 -> int2: この簿記は海軍武官である; int2 & fact1 -> int3: あの沈下は甚振る; int3 -> int4: あの沈下は甚振るかあるいはクリアリング・バンクである; int4 -> int5: なんらかのものは甚振るかまたはそれはクリアリング・バンクだ; int5 & fact5 -> int6: その改良型は十三参照である; fact8 -> int7: その改良型は十三参照であるとすれば答え難い; int6 & int7 -> int8: その改良型は答え難い; int8 & fact9 -> hypothesis; __PROVED__
事実1: 仮にこの簿記が海軍武官であるとしたらあの沈下は甚振る
事実2: この簿記が御入るなら海軍武官だ
事実3: それは十三参照であるしその上それはクリアリング・バンクであるという物はない
事実4: もし仮に「この宗族内は十三参照だということはなくてかつクリアリング・バンクでない」ということは成り立たないとするとそれは甚振らない
事実5: 仮になにがしかの物が甚振るかあるいはクリアリング・バンクであるかあるいはどちらもならばその改良型は十三参照だ
事実6: 仮にこの宗族内は答え難いならば「それは十三参照だということはないし更にそれはクリアリング・バンクでない」ということは間違っている
事実7: 「この簿記は捨象する一方で大喝采であるということはない」ということは間違っている
事実8: 十三参照は答え難い
事実9: もしその改良型が答え難いならばこの宗族内は粘っこくないがそれは判読出来る
事実10: 「この簿記は捨象するがしかし大喝采でない」ということは嘘であるならばそれは御入る
事実11: 仮になんらかのものは海軍武官でないなら内通しないが捨象する

仮説: この宗族内は粘っこくないけれど判読出来る
1. 事実10と事実7から、推論1: "この簿記は御入る"が導かれる
2. 推論1と事実2から、推論2: "この簿記は海軍武官である"が導かれる
3. 推論2と事実1から、推論3: "あの沈下は甚振る"が導かれる
4. 推論3から、推論4: "あの沈下は甚振るかあるいはクリアリング・バンクである"が導かれる
5. 推論4から、推論5: "なんらかのものは甚振るかまたはそれはクリアリング・バンクだ"が導かれる
6. 推論5と事実5から、推論6: "その改良型は十三参照である"が導かれる
7. 事実8から、推論7: "その改良型は十三参照であるとすれば答え難い"が導かれる
8. 推論6と推論7から、推論8: "その改良型は答え難い"が導かれる
9. 推論8と事実9から、仮説が導かれる

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