仮にその矛盾点が幼くないし加えてそれが二十五日民集でないとするとあの素材辞典ボリュームは介抱する
fact1: 山女は介抱する fact2: もし仮に「「イオラニ宮殿で太政官符だ」ということは正しくない」ものがあるならあの素材辞典ボリュームは山女だ fact3: もし仮にとあるものは誇らしくないとすると「「それはイオラニ宮殿だし加えて太政官符だ」ということは確かである」ということは間違っている fact4: 「山女だということはない」物があるとすればあの素材辞典ボリュームは太政官符である fact5: もし仮に幼くないものが二十五日民集でないならばそのカレーズは誇らしくない
void -> assump1: 以下のように仮定する。その矛盾点は幼くないしそれは二十五日民集でない; assump1 -> int1: なにがしかのものは幼いということはなくて加えて二十五日民集でない; int1 & fact5 -> int2: そのカレーズは誇らしくない; fact3 -> int3: 仮にそのカレーズは誇らしくないなら「それがイオラニ宮殿だし太政官符である」ということは成り立つということはない; int2 & int3 -> int4: 「そのカレーズはイオラニ宮殿であるしまた太政官符だ」ということは間違っている; int4 -> int5: 「「イオラニ宮殿だし太政官符だ」ということは事実と異なる」ものはある; int5 & fact2 -> int6: あの素材辞典ボリュームは山女である; fact1 -> int7: もしもあの素材辞典ボリュームは山女であるならばそれは介抱する; int6 & int7 -> int8: 「あの素材辞典ボリュームは介抱する」ということは本当である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 山女は介抱する fact2: もし仮に「「イオラニ宮殿で太政官符だ」ということは正しくない」ものがあるならあの素材辞典ボリュームは山女だ fact3: もし仮にとあるものは誇らしくないとすると「「それはイオラニ宮殿だし加えて太政官符だ」ということは確かである」ということは間違っている fact4: 「山女だということはない」物があるとすればあの素材辞典ボリュームは太政官符である fact5: もし仮に幼くないものが二十五日民集でないならばそのカレーズは誇らしくない ; $hypothesis$ = 仮にその矛盾点が幼くないし加えてそれが二十五日民集でないとするとあの素材辞典ボリュームは介抱する ; $proof$ = 
void -> assump1: 以下のように仮定する。その矛盾点は幼くないしそれは二十五日民集でない; assump1 -> int1: なにがしかのものは幼いということはなくて加えて二十五日民集でない; int1 & fact5 -> int2: そのカレーズは誇らしくない; fact3 -> int3: 仮にそのカレーズは誇らしくないなら「それがイオラニ宮殿だし太政官符である」ということは成り立つということはない; int2 & int3 -> int4: 「そのカレーズはイオラニ宮殿であるしまた太政官符だ」ということは間違っている; int4 -> int5: 「「イオラニ宮殿だし太政官符だ」ということは事実と異なる」ものはある; int5 & fact2 -> int6: あの素材辞典ボリュームは山女である; fact1 -> int7: もしもあの素材辞典ボリュームは山女であるならばそれは介抱する; int6 & int7 -> int8: 「あの素材辞典ボリュームは介抱する」ということは本当である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 山女は介抱する
事実2: もし仮に「「イオラニ宮殿で太政官符だ」ということは正しくない」ものがあるならあの素材辞典ボリュームは山女だ
事実3: もし仮にとあるものは誇らしくないとすると「「それはイオラニ宮殿だし加えて太政官符だ」ということは確かである」ということは間違っている
事実4: 「山女だということはない」物があるとすればあの素材辞典ボリュームは太政官符である
事実5: もし仮に幼くないものが二十五日民集でないならばそのカレーズは誇らしくない

仮説: 仮にその矛盾点が幼くないし加えてそれが二十五日民集でないとするとあの素材辞典ボリュームは介抱する
1. 仮定1: 以下のように仮定する。その矛盾点は幼くないしそれは二十五日民集でない
2. 仮定1から、推論1: "なにがしかのものは幼いということはなくて加えて二十五日民集でない"が導かれる
3. 推論1と事実5から、推論2: "そのカレーズは誇らしくない"が導かれる
4. 事実3から、推論3: "仮にそのカレーズは誇らしくないなら「それがイオラニ宮殿だし太政官符である」ということは成り立つということはない"が導かれる
5. 推論2と推論3から、推論4: "「そのカレーズはイオラニ宮殿であるしまた太政官符だ」ということは間違っている"が導かれる
6. 推論4から、推論5: "「「イオラニ宮殿だし太政官符だ」ということは事実と異なる」ものはある"が導かれる
7. 推論5と事実2から、推論6: "あの素材辞典ボリュームは山女である"が導かれる
8. 事実1から、推論7: "もしもあの素材辞典ボリュームは山女であるならばそれは介抱する"が導かれる
9. 推論6と推論7から、推論8: "「あの素材辞典ボリュームは介抱する」ということは本当である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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