「運び易いかもしくは否定文であるかもしくはどちらもである」ものはある
fact1: もし仮にあの郵貯貸し付けが反電場効果である一方で描き込まないとすればあの電子ＪＶ室は運び易い fact2: 「あのＲＢＯＣは憎たらしくてさらに運び易い」ということは誤りである fact3: あのＲＢＯＣは運び易くない fact4: 「「あの郵貯貸し付けは反電場効果であるしそれは描き込む」ということは事実だ」ということは成り立たない fact5: もし仮に「とある物は否定文であるしおまけに運び易い」ということは成り立つということはないとすると運び易くない fact6: 運び易くないものは銘記するかもしくはコードする fact7: 「あの郵貯貸し付けは反電場効果だがしかし描き込まない」ということは成り立たないとすればあのＲＢＯＣは金融史談速記録だということはない fact8: あの郵貯貸し付けは描き込まない fact9: あのＲＢＯＣは金融史談速記録だ fact10: 「仮にあの郵貯貸し付けは反電場効果で描き込むとすれば「その電子ＪＶ室は運び易い」ということは成り立つ」ということは事実である fact11: その電子ＪＶ室は心許ない fact12: 「その電子ＪＶ室は運び易いしおまけに金融史談速記録である」ということは成り立たない fact13: 「あの郵貯貸し付けは運び易いが描き込まない」ということは嘘だ fact14: 仮にあの郵貯貸し付けが運び易くて描き込めばその電子ＪＶ室は金融史談速記録だ fact15: もしもあの郵貯貸し付けが描き込むとすればあのＲＢＯＣは金融史談速記録でない fact16: もしあのＲＢＯＣが反電場効果であるとしたらあの郵貯貸し付けは金融史談速記録でない fact17: 「もし仮にあの郵貯貸し付けが運び易いとしたらその電子ＪＶ室は否定文でない」ということは正しい fact18: 「リピートするかまたは営業許可書であるかまたはどちらもである」物はある fact19: 「あのＲＢＯＣは否定文だということはない」ということは事実である fact20: もし「その電子ＪＶ室は反電場効果であるが金融史談速記録であるということはない」ということは成り立たないとしたらあのＲＢＯＣは運び易くない
void -> assump1: 以下のように仮定する。「あの郵貯貸し付けは反電場効果であるけどそれは描き込むということはない」ということは成り立つということはない; fact7 & assump1 -> int1: あのＲＢＯＣは金融史談速記録であるということはない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの郵貯貸し付けは反電場効果だがしかしそれは描き込まない; int3 & fact1 -> int4: その電子ＪＶ室は運び易い; int4 -> int5: その電子ＪＶ室は運び易いか否定文であるかもしくは両方ともである; int5 -> hypothesis;
なにがしかのものは銘記するかコードする
fact22 -> int6: もしあの郵貯貸し付けが運び易くないとすれば銘記するかまたはコードするかもしくは両方ともだ; fact21 -> int7: 「あの郵貯貸し付けは否定文だし運び易い」ということは間違っているならそれは運び易くない;
$facts$ = fact1: もし仮にあの郵貯貸し付けが反電場効果である一方で描き込まないとすればあの電子ＪＶ室は運び易い fact2: 「あのＲＢＯＣは憎たらしくてさらに運び易い」ということは誤りである fact3: あのＲＢＯＣは運び易くない fact4: 「「あの郵貯貸し付けは反電場効果であるしそれは描き込む」ということは事実だ」ということは成り立たない fact5: もし仮に「とある物は否定文であるしおまけに運び易い」ということは成り立つということはないとすると運び易くない fact6: 運び易くないものは銘記するかもしくはコードする fact7: 「あの郵貯貸し付けは反電場効果だがしかし描き込まない」ということは成り立たないとすればあのＲＢＯＣは金融史談速記録だということはない fact8: あの郵貯貸し付けは描き込まない fact9: あのＲＢＯＣは金融史談速記録だ fact10: 「仮にあの郵貯貸し付けは反電場効果で描き込むとすれば「その電子ＪＶ室は運び易い」ということは成り立つ」ということは事実である fact11: その電子ＪＶ室は心許ない fact12: 「その電子ＪＶ室は運び易いしおまけに金融史談速記録である」ということは成り立たない fact13: 「あの郵貯貸し付けは運び易いが描き込まない」ということは嘘だ fact14: 仮にあの郵貯貸し付けが運び易くて描き込めばその電子ＪＶ室は金融史談速記録だ fact15: もしもあの郵貯貸し付けが描き込むとすればあのＲＢＯＣは金融史談速記録でない fact16: もしあのＲＢＯＣが反電場効果であるとしたらあの郵貯貸し付けは金融史談速記録でない fact17: 「もし仮にあの郵貯貸し付けが運び易いとしたらその電子ＪＶ室は否定文でない」ということは正しい fact18: 「リピートするかまたは営業許可書であるかまたはどちらもである」物はある fact19: 「あのＲＢＯＣは否定文だということはない」ということは事実である fact20: もし「その電子ＪＶ室は反電場効果であるが金融史談速記録であるということはない」ということは成り立たないとしたらあのＲＢＯＣは運び易くない ; $hypothesis$ = 「運び易いかもしくは否定文であるかもしくはどちらもである」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの郵貯貸し付けは反電場効果であるけどそれは描き込むということはない」ということは成り立つということはない; fact7 & assump1 -> int1: あのＲＢＯＣは金融史談速記録であるということはない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの郵貯貸し付けは反電場効果だがしかしそれは描き込まない; int3 & fact1 -> int4: その電子ＪＶ室は運び易い; int4 -> int5: その電子ＪＶ室は運び易いか否定文であるかもしくは両方ともである; int5 -> hypothesis; __PROVED__
事実1: もし仮にあの郵貯貸し付けが反電場効果である一方で描き込まないとすればあの電子ＪＶ室は運び易い
事実2: 「あのＲＢＯＣは憎たらしくてさらに運び易い」ということは誤りである
事実3: あのＲＢＯＣは運び易くない
事実4: 「「あの郵貯貸し付けは反電場効果であるしそれは描き込む」ということは事実だ」ということは成り立たない
事実5: もし仮に「とある物は否定文であるしおまけに運び易い」ということは成り立つということはないとすると運び易くない
事実6: 運び易くないものは銘記するかもしくはコードする
事実7: 「あの郵貯貸し付けは反電場効果だがしかし描き込まない」ということは成り立たないとすればあのＲＢＯＣは金融史談速記録だということはない
事実8: あの郵貯貸し付けは描き込まない
事実9: あのＲＢＯＣは金融史談速記録だ
事実10: 「仮にあの郵貯貸し付けは反電場効果で描き込むとすれば「その電子ＪＶ室は運び易い」ということは成り立つ」ということは事実である
事実11: その電子ＪＶ室は心許ない
事実12: 「その電子ＪＶ室は運び易いしおまけに金融史談速記録である」ということは成り立たない
事実13: 「あの郵貯貸し付けは運び易いが描き込まない」ということは嘘だ
事実14: 仮にあの郵貯貸し付けが運び易くて描き込めばその電子ＪＶ室は金融史談速記録だ
事実15: もしもあの郵貯貸し付けが描き込むとすればあのＲＢＯＣは金融史談速記録でない
事実16: もしあのＲＢＯＣが反電場効果であるとしたらあの郵貯貸し付けは金融史談速記録でない
事実17: 「もし仮にあの郵貯貸し付けが運び易いとしたらその電子ＪＶ室は否定文でない」ということは正しい
事実18: 「リピートするかまたは営業許可書であるかまたはどちらもである」物はある
事実19: 「あのＲＢＯＣは否定文だということはない」ということは事実である
事実20: もし「その電子ＪＶ室は反電場効果であるが金融史談速記録であるということはない」ということは成り立たないとしたらあのＲＢＯＣは運び易くない

仮説: 「運び易いかもしくは否定文であるかもしくはどちらもである」ものはある
1. 仮定1: 以下のように仮定する。「あの郵貯貸し付けは反電場効果であるけどそれは描き込むということはない」ということは成り立つということはない
2. 事実7と仮定1から、推論1: "あのＲＢＯＣは金融史談速記録であるということはない"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの郵貯貸し付けは反電場効果だがしかしそれは描き込まない"が導かれる
5. 推論3と事実1から、推論4: "その電子ＪＶ室は運び易い"が導かれる
6. 推論4から、推論5: "その電子ＪＶ室は運び易いか否定文であるかもしくは両方ともである"が導かれる
7. 推論5から、仮説が導かれる

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