あの作成後は盗み食いだ
fact1: この掌全体は盗み食いだ fact2: もしもその個人金融資産が御叱るとすればそれは合い難い fact3: その大人口は御叱る fact4: もし仮に「なんらかの物は合い難くて盗み食いだ」ということは成り立たないとすると盗み食いであるということはない fact5: もしも「その個人金融資産は技術員でないがしかし日本らしい」ということは嘘であるとすれば合い難いということはない fact6: もし仮に「その個人金融資産は日本らしいということはない」ということは成り立つとすれば合い難くない fact7: あの作成後は盗み食いであるということはないならば「その個人金融資産は技術員でないけど日本らしい」ということは成り立たない fact8: その個人金融資産は御叱る
void -> assump1: 以下のように仮定する。あの作成後は盗み食いでない; fact7 & assump1 -> int1: 「その個人金融資産は技術員でないけど日本らしい」ということは誤りである; int1 & fact5 -> int2: その個人金融資産は合い難くない; fact2 & fact8 -> int3: 「その個人金融資産は合い難い」ということは本当だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの作成後は盗み食いでない
fact9 -> int5: 「「あの作成後は合い難くて盗み食いだ」ということは成り立たないならあの作成後は盗み食いでない」ということは真実である;
$facts$ = fact1: この掌全体は盗み食いだ fact2: もしもその個人金融資産が御叱るとすればそれは合い難い fact3: その大人口は御叱る fact4: もし仮に「なんらかの物は合い難くて盗み食いだ」ということは成り立たないとすると盗み食いであるということはない fact5: もしも「その個人金融資産は技術員でないがしかし日本らしい」ということは嘘であるとすれば合い難いということはない fact6: もし仮に「その個人金融資産は日本らしいということはない」ということは成り立つとすれば合い難くない fact7: あの作成後は盗み食いであるということはないならば「その個人金融資産は技術員でないけど日本らしい」ということは成り立たない fact8: その個人金融資産は御叱る ; $hypothesis$ = あの作成後は盗み食いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの作成後は盗み食いでない; fact7 & assump1 -> int1: 「その個人金融資産は技術員でないけど日本らしい」ということは誤りである; int1 & fact5 -> int2: その個人金融資産は合い難くない; fact2 & fact8 -> int3: 「その個人金融資産は合い難い」ということは本当だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この掌全体は盗み食いだ
事実2: もしもその個人金融資産が御叱るとすればそれは合い難い
事実3: その大人口は御叱る
事実4: もし仮に「なんらかの物は合い難くて盗み食いだ」ということは成り立たないとすると盗み食いであるということはない
事実5: もしも「その個人金融資産は技術員でないがしかし日本らしい」ということは嘘であるとすれば合い難いということはない
事実6: もし仮に「その個人金融資産は日本らしいということはない」ということは成り立つとすれば合い難くない
事実7: あの作成後は盗み食いであるということはないならば「その個人金融資産は技術員でないけど日本らしい」ということは成り立たない
事実8: その個人金融資産は御叱る

仮説: あの作成後は盗み食いだ
1. 仮定1: 以下のように仮定する。あの作成後は盗み食いでない
2. 事実7と仮定1から、推論1: "「その個人金融資産は技術員でないけど日本らしい」ということは誤りである"が導かれる
3. 推論1と事実5から、推論2: "その個人金融資産は合い難くない"が導かれる
4. 事実2と事実8から、推論3: "「その個人金融資産は合い難い」ということは本当だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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