あの無能力は住み難い
fact1: あの穀屋は厭わしいということはない fact2: その役員懇親会が厭わしいしその上それは心優しい fact3: 「「その銀行取り引きは更生するかすっごーいかあるいは両方だ」ということは誤りである」ということは事実である fact4: 仮になにがしかの物が追い落とすということはないかもしくはそれは貯水しないかどちらもであるとすればそれは収集する fact5: もしこの活動実績はブルーマーでないとしたら「あの指導力はすっごーいしさらに住み難い」ということは成り立たない fact6: 「ＣＰＩな」物はある fact7: その役員懇親会が発揮し易いならばあの無能力は住み難い fact8: もしもなにがしかのものが収集するし厭わしいとするとあの届けは満遍無くない fact9: 「あの穀屋はすっごーいかもしくはそれは厭わしい」ということは誤りだ fact10: 仮に「「その財テクはＣＰＩでないがしかしキセルだ」ということは誤っている」ということは真実であるとしたらあの穀屋は払い落とすということはない fact11: もし発揮し易くないものが受け易いとすればブルーマーでない fact12: もし「あの穀屋はすっごーいかまたは厭わしい」ということは間違っているとするとこの活動実績はすっごーくない fact13: もしあの指導力がブルーマーならばこの活動実績はすっごーい fact14: もし仮に「ＣＰＩな」物はあれば「その財テクはＣＰＩだということはない一方でキセルである」ということは成り立たない fact15: もしあの穀屋が払い落とさないならばあの役員懇親会は追い落とさないかそれは貯水しないか両方ともである fact16: もし仮にあの指導力がブルーマーでないとすればあの届けは受け易い fact17: もし仮にあの届けが受け易いならばその役員懇親会は発揮し易い fact18: もし「満遍無くない」ものがあるとしたらこの活動実績は発揮し易くない一方でそれは受け易い
void -> assump1: 以下のように仮定する。あの指導力はブルーマーである; fact13 & assump1 -> int1: この活動実績はすっごーい; fact12 & fact9 -> int2: この活動実績はすっごーくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの指導力はブルーマーでない; int4 & fact16 -> int5: あの届けは受け易い; int5 & fact17 -> int6: その役員懇親会は発揮し易い; int6 & fact7 -> hypothesis;
あの無能力は住み難くない
fact28 -> int7: この活動実績は発揮し易くない一方で受け易いならばそれはブルーマーでない; fact26 -> int8: 仮にその役員懇親会は追い落とさないかもしくは貯水しないかまたは両方ともであるならばそれは収集する; fact21 & fact25 -> int9: 「その財テクはＣＰＩでないけれどキセルだ」ということは間違いである; fact27 & int9 -> int10: あの穀屋は払い落とすということはない; fact23 & int10 -> int11: その役員懇親会は追い落とさないか貯水しないかあるいは両方である; int8 & int11 -> int12: その役員懇親会は収集する; fact19 -> int13: その役員懇親会は厭わしい; int12 & int13 -> int14: その役員懇親会は収集するし更に厭わしい; int14 -> int15: 「収集するしさらに厭わしい」物はある; int15 & fact22 -> int16: あの届けは満遍無いということはない; int16 -> int17: 「満遍無くない」物はある; int17 & fact20 -> int18: この活動実績は発揮し易くないけれど受け易い; int7 & int18 -> int19: この活動実績はブルーマーだということはない; fact24 & int19 -> int20: 「あの指導力はすっごーいし加えて住み難い」ということは嘘だ; int20 -> int21: 「「「すっごーいしその上住み難い」ということは確かである」ということは成り立たない」ものはある;
$facts$ = fact1: あの穀屋は厭わしいということはない fact2: その役員懇親会が厭わしいしその上それは心優しい fact3: 「「その銀行取り引きは更生するかすっごーいかあるいは両方だ」ということは誤りである」ということは事実である fact4: 仮になにがしかの物が追い落とすということはないかもしくはそれは貯水しないかどちらもであるとすればそれは収集する fact5: もしこの活動実績はブルーマーでないとしたら「あの指導力はすっごーいしさらに住み難い」ということは成り立たない fact6: 「ＣＰＩな」物はある fact7: その役員懇親会が発揮し易いならばあの無能力は住み難い fact8: もしもなにがしかのものが収集するし厭わしいとするとあの届けは満遍無くない fact9: 「あの穀屋はすっごーいかもしくはそれは厭わしい」ということは誤りだ fact10: 仮に「「その財テクはＣＰＩでないがしかしキセルだ」ということは誤っている」ということは真実であるとしたらあの穀屋は払い落とすということはない fact11: もし発揮し易くないものが受け易いとすればブルーマーでない fact12: もし「あの穀屋はすっごーいかまたは厭わしい」ということは間違っているとするとこの活動実績はすっごーくない fact13: もしあの指導力がブルーマーならばこの活動実績はすっごーい fact14: もし仮に「ＣＰＩな」物はあれば「その財テクはＣＰＩだということはない一方でキセルである」ということは成り立たない fact15: もしあの穀屋が払い落とさないならばあの役員懇親会は追い落とさないかそれは貯水しないか両方ともである fact16: もし仮にあの指導力がブルーマーでないとすればあの届けは受け易い fact17: もし仮にあの届けが受け易いならばその役員懇親会は発揮し易い fact18: もし「満遍無くない」ものがあるとしたらこの活動実績は発揮し易くない一方でそれは受け易い ; $hypothesis$ = あの無能力は住み難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの指導力はブルーマーである; fact13 & assump1 -> int1: この活動実績はすっごーい; fact12 & fact9 -> int2: この活動実績はすっごーくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの指導力はブルーマーでない; int4 & fact16 -> int5: あの届けは受け易い; int5 & fact17 -> int6: その役員懇親会は発揮し易い; int6 & fact7 -> hypothesis; __PROVED__
事実1: あの穀屋は厭わしいということはない
事実2: その役員懇親会が厭わしいしその上それは心優しい
事実3: 「「その銀行取り引きは更生するかすっごーいかあるいは両方だ」ということは誤りである」ということは事実である
事実4: 仮になにがしかの物が追い落とすということはないかもしくはそれは貯水しないかどちらもであるとすればそれは収集する
事実5: もしこの活動実績はブルーマーでないとしたら「あの指導力はすっごーいしさらに住み難い」ということは成り立たない
事実6: 「ＣＰＩな」物はある
事実7: その役員懇親会が発揮し易いならばあの無能力は住み難い
事実8: もしもなにがしかのものが収集するし厭わしいとするとあの届けは満遍無くない
事実9: 「あの穀屋はすっごーいかもしくはそれは厭わしい」ということは誤りだ
事実10: 仮に「「その財テクはＣＰＩでないがしかしキセルだ」ということは誤っている」ということは真実であるとしたらあの穀屋は払い落とすということはない
事実11: もし発揮し易くないものが受け易いとすればブルーマーでない
事実12: もし「あの穀屋はすっごーいかまたは厭わしい」ということは間違っているとするとこの活動実績はすっごーくない
事実13: もしあの指導力がブルーマーならばこの活動実績はすっごーい
事実14: もし仮に「ＣＰＩな」物はあれば「その財テクはＣＰＩだということはない一方でキセルである」ということは成り立たない
事実15: もしあの穀屋が払い落とさないならばあの役員懇親会は追い落とさないかそれは貯水しないか両方ともである
事実16: もし仮にあの指導力がブルーマーでないとすればあの届けは受け易い
事実17: もし仮にあの届けが受け易いならばその役員懇親会は発揮し易い
事実18: もし「満遍無くない」ものがあるとしたらこの活動実績は発揮し易くない一方でそれは受け易い

仮説: あの無能力は住み難い
1. 仮定1: 以下のように仮定する。あの指導力はブルーマーである
2. 事実13と仮定1から、推論1: "この活動実績はすっごーい"が導かれる
3. 事実12と事実9から、推論2: "この活動実績はすっごーくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの指導力はブルーマーでない"が導かれる
6. 推論4と事実16から、推論5: "あの届けは受け易い"が導かれる
7. 推論5と事実17から、推論6: "その役員懇親会は発揮し易い"が導かれる
8. 推論6と事実7から、仮説が導かれる

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