その法力は歴史的産物だ
fact1: もし仮にあの生活道がＨＣＥでないとするとその法力は首尾一貫性でない fact2: あの生活道はＨＣＥでないならば「その法力はＨＣＥでないか首尾一貫性であるか両方ともである」ということは成り立つということはない fact3: その法力は痩せ難い fact4: その法力は首尾一貫性でない fact5: 「仮にあの生活道がＨＣＥであるとしたらあの口出しは座り易い」ということは本当だ fact6: あの皿洗いは痩せ難い fact7: あの生活道が歴史的産物であるけれどＨＣＥでないならその法力は歴史的産物でない fact8: 仮に「何らかのものはＨＣＥでないか首尾一貫性であるかあるいはどちらもだ」ということは間違いであるならばそれは歴史的産物だ fact9: 仮にあの口出しが座り易いとしたらあの皿洗いは痩せ難くない
void -> assump1: 以下のように仮定する。あの生活道はＨＣＥである; fact5 & assump1 -> int1: あの口出しは座り易い; int1 & fact9 -> int2: 「あの皿洗いは痩せ難くない」ということは真実である; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの生活道はＨＣＥでない; int4 & fact2 -> int5: 「「その法力はＨＣＥでないかもしくは首尾一貫性であるかまたはどちらもである」ということは成り立つ」ということは成り立たない; fact8 -> int6: もしも「その法力はＨＣＥでないかもしくは首尾一貫性であるかどちらもである」ということは事実と異なるとすればそれは歴史的産物だ; int5 & int6 -> hypothesis;
その法力は歴史的産物でない
$facts$ = fact1: もし仮にあの生活道がＨＣＥでないとするとその法力は首尾一貫性でない fact2: あの生活道はＨＣＥでないならば「その法力はＨＣＥでないか首尾一貫性であるか両方ともである」ということは成り立つということはない fact3: その法力は痩せ難い fact4: その法力は首尾一貫性でない fact5: 「仮にあの生活道がＨＣＥであるとしたらあの口出しは座り易い」ということは本当だ fact6: あの皿洗いは痩せ難い fact7: あの生活道が歴史的産物であるけれどＨＣＥでないならその法力は歴史的産物でない fact8: 仮に「何らかのものはＨＣＥでないか首尾一貫性であるかあるいはどちらもだ」ということは間違いであるならばそれは歴史的産物だ fact9: 仮にあの口出しが座り易いとしたらあの皿洗いは痩せ難くない ; $hypothesis$ = その法力は歴史的産物だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの生活道はＨＣＥである; fact5 & assump1 -> int1: あの口出しは座り易い; int1 & fact9 -> int2: 「あの皿洗いは痩せ難くない」ということは真実である; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの生活道はＨＣＥでない; int4 & fact2 -> int5: 「「その法力はＨＣＥでないかもしくは首尾一貫性であるかまたはどちらもである」ということは成り立つ」ということは成り立たない; fact8 -> int6: もしも「その法力はＨＣＥでないかもしくは首尾一貫性であるかどちらもである」ということは事実と異なるとすればそれは歴史的産物だ; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮にあの生活道がＨＣＥでないとするとその法力は首尾一貫性でない
事実2: あの生活道はＨＣＥでないならば「その法力はＨＣＥでないか首尾一貫性であるか両方ともである」ということは成り立つということはない
事実3: その法力は痩せ難い
事実4: その法力は首尾一貫性でない
事実5: 「仮にあの生活道がＨＣＥであるとしたらあの口出しは座り易い」ということは本当だ
事実6: あの皿洗いは痩せ難い
事実7: あの生活道が歴史的産物であるけれどＨＣＥでないならその法力は歴史的産物でない
事実8: 仮に「何らかのものはＨＣＥでないか首尾一貫性であるかあるいはどちらもだ」ということは間違いであるならばそれは歴史的産物だ
事実9: 仮にあの口出しが座り易いとしたらあの皿洗いは痩せ難くない

仮説: その法力は歴史的産物だ
1. 仮定1: 以下のように仮定する。あの生活道はＨＣＥである
2. 事実5と仮定1から、推論1: "あの口出しは座り易い"が導かれる
3. 推論1と事実9から、推論2: "「あの皿洗いは痩せ難くない」ということは真実である"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの生活道はＨＣＥでない"が導かれる
6. 推論4と事実2から、推論5: "「「その法力はＨＣＥでないかもしくは首尾一貫性であるかまたはどちらもである」ということは成り立つ」ということは成り立たない"が導かれる
7. 事実8から、推論6: "もしも「その法力はＨＣＥでないかもしくは首尾一貫性であるかどちらもである」ということは事実と異なるとすればそれは歴史的産物だ"が導かれる
8. 推論5と推論6から、仮説が導かれる

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