あのＳ銀行は人全員である
fact1: 仮にあのＳ銀行が暮れ掛かるか分離し易いかあるいはどちらもであるならばあの三権は高記録でない fact2: 何かは詰まり易くないとすると人全員だ fact3: 仮にこの高コスト構造が内部創設暖簾だということはないとすれば礼儀正しいし更にそれは分離し易くない fact4: もし仮にあのＳ銀行は高記録であるとしたら「ＩＣカードでないしかつオフ会だ」ということは偽である fact5: なんらかのものは暮れ掛かるということはないとしたら「高記録だし加えてそれは詰まり易い」ということは成り立たない fact6: この高コスト構造が礼儀正しいけどそれが分離し易くないとするとあのＳ銀行は暮れ掛からない fact7: 「あのＳ銀行は高記録である」ということは事実である fact8: もしもあのＳ銀行が詰まり易いとしたらＩＣカードだということはないしオフ会である
void -> assump1: 以下のように仮定する。あのＳ銀行は詰まり易い; fact8 & assump1 -> int1: あのＳ銀行はＩＣカードでない一方でオフ会だ; fact7 & fact4 -> int2: 「あのＳ銀行はＩＣカードだということはないけどオフ会である」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＳ銀行は詰まり易くない; fact2 -> int5: 仮にあのＳ銀行が詰まり易くないならそれは人全員である; int4 & int5 -> hypothesis;
「あのＳ銀行は人全員でない」ということは事実である
fact11 -> int6: 仮に「あのＳ銀行は暮れ掛かるということはない」ということは成り立つなら「高記録であるしおまけに詰まり易い」ということは事実と異なる;
$facts$ = fact1: 仮にあのＳ銀行が暮れ掛かるか分離し易いかあるいはどちらもであるならばあの三権は高記録でない fact2: 何かは詰まり易くないとすると人全員だ fact3: 仮にこの高コスト構造が内部創設暖簾だということはないとすれば礼儀正しいし更にそれは分離し易くない fact4: もし仮にあのＳ銀行は高記録であるとしたら「ＩＣカードでないしかつオフ会だ」ということは偽である fact5: なんらかのものは暮れ掛かるということはないとしたら「高記録だし加えてそれは詰まり易い」ということは成り立たない fact6: この高コスト構造が礼儀正しいけどそれが分離し易くないとするとあのＳ銀行は暮れ掛からない fact7: 「あのＳ銀行は高記録である」ということは事実である fact8: もしもあのＳ銀行が詰まり易いとしたらＩＣカードだということはないしオフ会である ; $hypothesis$ = あのＳ銀行は人全員である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＳ銀行は詰まり易い; fact8 & assump1 -> int1: あのＳ銀行はＩＣカードでない一方でオフ会だ; fact7 & fact4 -> int2: 「あのＳ銀行はＩＣカードだということはないけどオフ会である」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのＳ銀行は詰まり易くない; fact2 -> int5: 仮にあのＳ銀行が詰まり易くないならそれは人全員である; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮にあのＳ銀行が暮れ掛かるか分離し易いかあるいはどちらもであるならばあの三権は高記録でない
事実2: 何かは詰まり易くないとすると人全員だ
事実3: 仮にこの高コスト構造が内部創設暖簾だということはないとすれば礼儀正しいし更にそれは分離し易くない
事実4: もし仮にあのＳ銀行は高記録であるとしたら「ＩＣカードでないしかつオフ会だ」ということは偽である
事実5: なんらかのものは暮れ掛かるということはないとしたら「高記録だし加えてそれは詰まり易い」ということは成り立たない
事実6: この高コスト構造が礼儀正しいけどそれが分離し易くないとするとあのＳ銀行は暮れ掛からない
事実7: 「あのＳ銀行は高記録である」ということは事実である
事実8: もしもあのＳ銀行が詰まり易いとしたらＩＣカードだということはないしオフ会である

仮説: あのＳ銀行は人全員である
1. 仮定1: 以下のように仮定する。あのＳ銀行は詰まり易い
2. 事実8と仮定1から、推論1: "あのＳ銀行はＩＣカードでない一方でオフ会だ"が導かれる
3. 事実7と事実4から、推論2: "「あのＳ銀行はＩＣカードだということはないけどオフ会である」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのＳ銀行は詰まり易くない"が導かれる
6. 事実2から、推論5: "仮にあのＳ銀行が詰まり易くないならそれは人全員である"が導かれる
7. 推論4と推論5から、仮説が導かれる

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