そのＸ財は小賢しくない
fact1: もし仮にある物が伝達係だとしたらそれはウェディングドレスだ fact2: 小賢しくないし凛々しいものは転調する fact3: もしなんらかの物が凛々しいならそれは小賢しい fact4: もしも「この昇格要件は伝達係でない一方でそれは私らしい」ということは成り立たないとすればこの無名人は伝達係だということはない fact5: もしそのＸ財は転調しないなら「この無名人は理屈っぽいけれど受け辛くない」ということは事実と異なる fact6: もしもなにがしかの物が受け辛いとすれば小賢しい fact7: この無名人は理屈っぽい fact8: その取り付け騒ぎは理屈っぽい fact9: もし仮にこの昇格要件がにっこりするとすればこの無名人は小賢しくないけど凛々しい fact10: 仮になにがしかのものが冷め難いなら伝達係でない fact11: もし仮になにかはウェディングドレスだとしたらそれはにっこりする fact12: もしもとある物は冷め難いならば「それは伝達係でないけれど私らしい」ということは嘘だ fact13: この無名人は肌寒い fact14: なんらかのものが受け辛いならば凛々しい fact15: もしこの無名人が転調するとすればそのＸ財は理屈っぽい fact16: もしこの無名人は理屈っぽくないとすると「そのＸ財は受け辛いけれど小賢しくない」ということは誤りだ fact17: もし仮にこの無名人が伝達係でないならばそのＸ財は伝達係である fact18: 「この昇格要件はむさいということはない」ということは成り立つとすれば冷め難いしさらに不況時代だ fact19: もしなにがしかのものはにっこりするとしたら「それは凛々しいということはなくてそれは転調する」ということは成り立たない fact20: 「この無名人は小賢しい」ということは真実だ fact21: この無名人は受け辛くない fact22: なにがしかのものが転調するとしたらそれは凛々しい
void -> assump1: 以下のように仮定する。そのＸ財は転調しない; fact5 & assump1 -> int1: 「この無名人は理屈っぽいがそれは受け辛いということはない」ということは誤りである; fact7 & fact21 -> int2: この無名人は理屈っぽいがしかし受け辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＸ財は転調する; fact22 -> int5: そのＸ財が転調するとするとそれは凛々しい; int4 & int5 -> int6: そのＸ財は凛々しい; fact3 -> int7: もしそのＸ財が凛々しいなら小賢しい; int6 & int7 -> hypothesis;
そのＸ財は理屈っぽい
fact25 -> int8: 仮にこの無名人は小賢しいということはないけど凛々しいとしたら「転調する」ということは真実である; fact23 -> int9: あの玉蜀黍畑が冷め難いならばそれは伝達係だということはない;
$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: 以下のように仮定する。そのＸ財は転調しない; fact5 & assump1 -> int1: 「この無名人は理屈っぽいがそれは受け辛いということはない」ということは誤りである; fact7 & fact21 -> int2: この無名人は理屈っぽいがしかし受け辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＸ財は転調する; fact22 -> int5: そのＸ財が転調するとするとそれは凛々しい; int4 & int5 -> int6: そのＸ財は凛々しい; fact3 -> int7: もしそのＸ財が凛々しいなら小賢しい; int6 & int7 -> hypothesis; __DISPROVED__
事実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. 事実5と仮定1から、推論1: "「この無名人は理屈っぽいがそれは受け辛いということはない」ということは誤りである"が導かれる
3. 事実7と事実21から、推論2: "この無名人は理屈っぽいがしかし受け辛くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのＸ財は転調する"が導かれる
6. 事実22から、推論5: "そのＸ財が転調するとするとそれは凛々しい"が導かれる
7. 推論4と推論5から、推論6: "そのＸ財は凛々しい"が導かれる
8. 事実3から、推論7: "もしそのＸ財が凛々しいなら小賢しい"が導かれる
9. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。