その精神エネルギーは鬢でない
fact1: もし仮に「あの町全体は喝采しない」ということは事実であるとしたらその義員は特赦だがしかし喝采するということはない fact2: もし仮にその精神エネルギーが鬢でないとすればあの縦皺は鬢でない fact3: その中性子線が昂進ならそれは鬢でない fact4: もしもその義員が住み難いならばそれは喝采するということはない fact5: もし仮にその義員が特赦であるが喝采しないとしたらその縦皺は住み難くない fact6: 「その中性子線は昂進である」ということは確かだ fact7: 仮にその義員が住み難くてさらに喝采するなら「その縦皺は鬢でない」ということは本当である fact8: もしその縦皺が住み難くないとするとその精神エネルギーは鬢であるということはない fact9: もし仮に住み難い物は特赦でないとするとそれは昂進だということはない fact10: 仮に「あの町全体は喝采しないか鬢であるかまたはどちらもである」ということは成り立たないとするとその精神エネルギーは物欲しかない fact11: 仮にあの町全体が航海だとしたら前借りしない fact12: もし「あの町全体は四号営業でないかあるいは物欲しいかもしくは両方ともだ」ということは誤りであるならばその中性子線は昂進でない fact13: もしもあの町全体が住み難いとすれば喝采しない fact14: その義員はにんまりするということはない fact15: その中性子線が刺繍入りだとしたら物欲しかない fact16: 「その精神エネルギーは物欲しかないかあるいは喝采するかまたは両方である」ということは間違いであるならその義員は鬢でない fact17: 仮に「その縦皺は住み難いということはないかあるいは喝采するかあるいはどちらもである」ということは成り立つということはないとするとその精神エネルギーは鬢でない fact18: あの町全体は特赦である fact19: あの町全体は国民年金基金である fact20: もしあの町全体は喝采するとしたら「それは四号営業でないかもしくは物欲しいかまたはどちらもだ」ということは本当でない fact21: もしもその縦皺が四号営業だ一方で住み難くないとすればその義員は特赦でない fact22: もし「あの町全体は鬢でない」ということは確かだとすればあの精神エネルギーは鬢でない fact23: その義員は昂進でない fact24: もし仮にその精神エネルギーが物欲しいしかつそれが喝采するとするとあの町全体は鬢でない
void -> assump1: 以下のように仮定する。あの町全体は喝采する; fact20 & assump1 -> int1: 「あの町全体は四号営業でないかあるいはそれは物欲しいかまたは両方ともである」ということは間違っている; int1 & fact12 -> int2: その中性子線は昂進でない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの町全体は喝采しない; int4 & fact1 -> int5: その義員は特赦だ一方で喝采するということはない; int5 & fact5 -> int6: その縦皺は住み難くない; int6 & fact8 -> hypothesis;
その精神エネルギーは鬢である
fact25 -> int7: その精神エネルギーは住み難いけれど特赦でないなら昂進でない;
$facts$ = fact1: もし仮に「あの町全体は喝采しない」ということは事実であるとしたらその義員は特赦だがしかし喝采するということはない fact2: もし仮にその精神エネルギーが鬢でないとすればあの縦皺は鬢でない fact3: その中性子線が昂進ならそれは鬢でない fact4: もしもその義員が住み難いならばそれは喝采するということはない fact5: もし仮にその義員が特赦であるが喝采しないとしたらその縦皺は住み難くない fact6: 「その中性子線は昂進である」ということは確かだ fact7: 仮にその義員が住み難くてさらに喝采するなら「その縦皺は鬢でない」ということは本当である fact8: もしその縦皺が住み難くないとするとその精神エネルギーは鬢であるということはない fact9: もし仮に住み難い物は特赦でないとするとそれは昂進だということはない fact10: 仮に「あの町全体は喝采しないか鬢であるかまたはどちらもである」ということは成り立たないとするとその精神エネルギーは物欲しかない fact11: 仮にあの町全体が航海だとしたら前借りしない fact12: もし「あの町全体は四号営業でないかあるいは物欲しいかもしくは両方ともだ」ということは誤りであるならばその中性子線は昂進でない fact13: もしもあの町全体が住み難いとすれば喝采しない fact14: その義員はにんまりするということはない fact15: その中性子線が刺繍入りだとしたら物欲しかない fact16: 「その精神エネルギーは物欲しかないかあるいは喝采するかまたは両方である」ということは間違いであるならその義員は鬢でない fact17: 仮に「その縦皺は住み難いということはないかあるいは喝采するかあるいはどちらもである」ということは成り立つということはないとするとその精神エネルギーは鬢でない fact18: あの町全体は特赦である fact19: あの町全体は国民年金基金である fact20: もしあの町全体は喝采するとしたら「それは四号営業でないかもしくは物欲しいかまたはどちらもだ」ということは本当でない fact21: もしもその縦皺が四号営業だ一方で住み難くないとすればその義員は特赦でない fact22: もし「あの町全体は鬢でない」ということは確かだとすればあの精神エネルギーは鬢でない fact23: その義員は昂進でない fact24: もし仮にその精神エネルギーが物欲しいしかつそれが喝采するとするとあの町全体は鬢でない ; $hypothesis$ = その精神エネルギーは鬢でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの町全体は喝采する; fact20 & assump1 -> int1: 「あの町全体は四号営業でないかあるいはそれは物欲しいかまたは両方ともである」ということは間違っている; int1 & fact12 -> int2: その中性子線は昂進でない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの町全体は喝采しない; int4 & fact1 -> int5: その義員は特赦だ一方で喝采するということはない; int5 & fact5 -> int6: その縦皺は住み難くない; int6 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「あの町全体は喝采しない」ということは事実であるとしたらその義員は特赦だがしかし喝采するということはない
事実2: もし仮にその精神エネルギーが鬢でないとすればあの縦皺は鬢でない
事実3: その中性子線が昂進ならそれは鬢でない
事実4: もしもその義員が住み難いならばそれは喝采するということはない
事実5: もし仮にその義員が特赦であるが喝采しないとしたらその縦皺は住み難くない
事実6: 「その中性子線は昂進である」ということは確かだ
事実7: 仮にその義員が住み難くてさらに喝采するなら「その縦皺は鬢でない」ということは本当である
事実8: もしその縦皺が住み難くないとするとその精神エネルギーは鬢であるということはない
事実9: もし仮に住み難い物は特赦でないとするとそれは昂進だということはない
事実10: 仮に「あの町全体は喝采しないか鬢であるかまたはどちらもである」ということは成り立たないとするとその精神エネルギーは物欲しかない
事実11: 仮にあの町全体が航海だとしたら前借りしない
事実12: もし「あの町全体は四号営業でないかあるいは物欲しいかもしくは両方ともだ」ということは誤りであるならばその中性子線は昂進でない
事実13: もしもあの町全体が住み難いとすれば喝采しない
事実14: その義員はにんまりするということはない
事実15: その中性子線が刺繍入りだとしたら物欲しかない
事実16: 「その精神エネルギーは物欲しかないかあるいは喝采するかまたは両方である」ということは間違いであるならその義員は鬢でない
事実17: 仮に「その縦皺は住み難いということはないかあるいは喝采するかあるいはどちらもである」ということは成り立つということはないとするとその精神エネルギーは鬢でない
事実18: あの町全体は特赦である
事実19: あの町全体は国民年金基金である
事実20: もしあの町全体は喝采するとしたら「それは四号営業でないかもしくは物欲しいかまたはどちらもだ」ということは本当でない
事実21: もしもその縦皺が四号営業だ一方で住み難くないとすればその義員は特赦でない
事実22: もし「あの町全体は鬢でない」ということは確かだとすればあの精神エネルギーは鬢でない
事実23: その義員は昂進でない
事実24: もし仮にその精神エネルギーが物欲しいしかつそれが喝采するとするとあの町全体は鬢でない

仮説: その精神エネルギーは鬢でない
1. 仮定1: 以下のように仮定する。あの町全体は喝采する
2. 事実20と仮定1から、推論1: "「あの町全体は四号営業でないかあるいはそれは物欲しいかまたは両方ともである」ということは間違っている"が導かれる
3. 推論1と事実12から、推論2: "その中性子線は昂進でない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの町全体は喝采しない"が導かれる
6. 推論4と事実1から、推論5: "その義員は特赦だ一方で喝采するということはない"が導かれる
7. 推論5と事実5から、推論6: "その縦皺は住み難くない"が導かれる
8. 推論6と事実8から、仮説が導かれる

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