その陽明は長細くないかそれは冷え冷えしないかもしくは両方である
fact1: その陽明は在京であるということはない fact2: この象徴派詩人達は付き難いということはない fact3: もしその陽明が電子密度だということはないならこの倒木は長細いししかも剥がれ易い fact4: 仮に何らかのものは電子入札だということはないとしたら「長細くないか冷え冷えしないかもしくはどちらもである」ということは偽だ fact5: その陽明は長細いかあるいは電子入札でない fact6: この倒木は長細い fact7: 仮にあのアメリカ野球がへらへらするならばあの象徴派詩人達は陳情しないがしかし電子密度である fact8: その陽明は長細いかまたは冷え冷えしないかまたは両方である fact9: 付き難くない物は陳情するし当て身である fact10: この倒木は充電しない fact11: もし仮にこの象徴派詩人達が陳情するということはないがしかし電子密度だとすればその陽明は電子密度だということはない fact12: この人類学は電子入札でない fact13: その陽明は長細くないか憎しないかまたはどちらもだ fact14: その陽明は長細いということはないかもしくはそれは小姓達でないかあるいは両方ともだ fact15: この人類学は決行するかあるいは長細くないかあるいは両方ともだ fact16: もし仮に長細いものがあるとすればあの人類学は再会出来るかまたは長細いかどちらもである fact17: 電子入札は組み上がらないかまたは冷え冷えしないかもしくはどちらもだ fact18: もしもこの倒木が冷え冷えしないならその陽明は長細くないかあるいは冷え冷えしないか両方である fact19: 「この象徴派詩人達は陳情する」ということは成り立つとしたらこの倒木はへらへらしないがしかしそれは電子密度だ fact20: もしこの人類学は決行するが小姓達でないならそれは電子入札である fact21: もしもこの倒木が電子密度であるとしたらこの人類学は剥がれ易い一方で再会出来ない fact22: もしも「この人類学は決行するけど小姓達でない」ということは誤りならこの倒木は冷え冷えしない
void -> assump1: 以下のように仮定する。この人類学は決行するが小姓達でない; fact20 & assump1 -> int1: この人類学は電子入札である; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この人類学は決行する一方で小姓達でない」ということは間違っている; int3 & fact22 -> int4: この倒木は冷え冷えするということはない; int4 & fact18 -> hypothesis;
「その陽明は長細くないかそれは冷え冷えしないか両方である」ということは間違いである
fact26 -> int5: 仮にその陽明は電子入札でないなら「長細くないかまたは冷え冷えしないか両方ともだ」ということは成り立たない; fact25 -> int6: もしも「この象徴派詩人達は付き難くない」ということは真実であるとしたらそれは陳情するしそれは当て身である; int6 & fact23 -> int7: この象徴派詩人達は陳情するしそれは当て身だ; int7 -> int8: この象徴派詩人達は陳情する; fact27 & int8 -> int9: この倒木はへらへらしない一方で電子密度である; int9 -> int10: 「この倒木は電子密度である」ということは本当だ; fact24 & int10 -> int11: この人類学は剥がれ易いがしかし再会出来るということはない; int11 -> int12: なにかは剥がれ易いけれど再会出来ない;
$facts$ = fact1: その陽明は在京であるということはない fact2: この象徴派詩人達は付き難いということはない fact3: もしその陽明が電子密度だということはないならこの倒木は長細いししかも剥がれ易い fact4: 仮に何らかのものは電子入札だということはないとしたら「長細くないか冷え冷えしないかもしくはどちらもである」ということは偽だ fact5: その陽明は長細いかあるいは電子入札でない fact6: この倒木は長細い fact7: 仮にあのアメリカ野球がへらへらするならばあの象徴派詩人達は陳情しないがしかし電子密度である fact8: その陽明は長細いかまたは冷え冷えしないかまたは両方である fact9: 付き難くない物は陳情するし当て身である fact10: この倒木は充電しない fact11: もし仮にこの象徴派詩人達が陳情するということはないがしかし電子密度だとすればその陽明は電子密度だということはない fact12: この人類学は電子入札でない fact13: その陽明は長細くないか憎しないかまたはどちらもだ fact14: その陽明は長細いということはないかもしくはそれは小姓達でないかあるいは両方ともだ fact15: この人類学は決行するかあるいは長細くないかあるいは両方ともだ fact16: もし仮に長細いものがあるとすればあの人類学は再会出来るかまたは長細いかどちらもである fact17: 電子入札は組み上がらないかまたは冷え冷えしないかもしくはどちらもだ fact18: もしもこの倒木が冷え冷えしないならその陽明は長細くないかあるいは冷え冷えしないか両方である fact19: 「この象徴派詩人達は陳情する」ということは成り立つとしたらこの倒木はへらへらしないがしかしそれは電子密度だ fact20: もしこの人類学は決行するが小姓達でないならそれは電子入札である fact21: もしもこの倒木が電子密度であるとしたらこの人類学は剥がれ易い一方で再会出来ない fact22: もしも「この人類学は決行するけど小姓達でない」ということは誤りならこの倒木は冷え冷えしない ; $hypothesis$ = その陽明は長細くないかそれは冷え冷えしないかもしくは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。この人類学は決行するが小姓達でない; fact20 & assump1 -> int1: この人類学は電子入札である; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この人類学は決行する一方で小姓達でない」ということは間違っている; int3 & fact22 -> int4: この倒木は冷え冷えするということはない; int4 & fact18 -> hypothesis; __PROVED__
事実1: その陽明は在京であるということはない
事実2: この象徴派詩人達は付き難いということはない
事実3: もしその陽明が電子密度だということはないならこの倒木は長細いししかも剥がれ易い
事実4: 仮に何らかのものは電子入札だということはないとしたら「長細くないか冷え冷えしないかもしくはどちらもである」ということは偽だ
事実5: その陽明は長細いかあるいは電子入札でない
事実6: この倒木は長細い
事実7: 仮にあのアメリカ野球がへらへらするならばあの象徴派詩人達は陳情しないがしかし電子密度である
事実8: その陽明は長細いかまたは冷え冷えしないかまたは両方である
事実9: 付き難くない物は陳情するし当て身である
事実10: この倒木は充電しない
事実11: もし仮にこの象徴派詩人達が陳情するということはないがしかし電子密度だとすればその陽明は電子密度だということはない
事実12: この人類学は電子入札でない
事実13: その陽明は長細くないか憎しないかまたはどちらもだ
事実14: その陽明は長細いということはないかもしくはそれは小姓達でないかあるいは両方ともだ
事実15: この人類学は決行するかあるいは長細くないかあるいは両方ともだ
事実16: もし仮に長細いものがあるとすればあの人類学は再会出来るかまたは長細いかどちらもである
事実17: 電子入札は組み上がらないかまたは冷え冷えしないかもしくはどちらもだ
事実18: もしもこの倒木が冷え冷えしないならその陽明は長細くないかあるいは冷え冷えしないか両方である
事実19: 「この象徴派詩人達は陳情する」ということは成り立つとしたらこの倒木はへらへらしないがしかしそれは電子密度だ
事実20: もしこの人類学は決行するが小姓達でないならそれは電子入札である
事実21: もしもこの倒木が電子密度であるとしたらこの人類学は剥がれ易い一方で再会出来ない
事実22: もしも「この人類学は決行するけど小姓達でない」ということは誤りならこの倒木は冷え冷えしない

仮説: その陽明は長細くないかそれは冷え冷えしないかもしくは両方である
1. 仮定1: 以下のように仮定する。この人類学は決行するが小姓達でない
2. 事実20と仮定1から、推論1: "この人類学は電子入札である"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この人類学は決行する一方で小姓達でない」ということは間違っている"が導かれる
5. 推論3と事実22から、推論4: "この倒木は冷え冷えするということはない"が導かれる
6. 推論4と事実18から、仮説が導かれる

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