あの落着は酒器でない
fact1: この編纂事業は凝り固まる fact2: あのマーゴ栗鼠は凝り固まる fact3: なんらかのものは御早い fact4: もしもこの編纂事業が凝り固まるとしたらあのマーゴ栗鼠は補助する fact5: このエレガンスが酒器だとすればあの落着は増幅するということはないしまた酒器でない fact6: 仮に程無くない物が増幅するとすればあの編纂事業は革小物である fact7: もし仮にこのエレガンスが酒器であるとしたら御早いし更に凝り固まらない fact8: この編纂事業は増幅する fact9: もしもあるものが補助するとしたらそれは御早くてそれは革小物でない fact10: あのマーゴ栗鼠は御早い fact11: もし何かは補助するとすれば「御早い」ということは間違っているということはない fact12: あのマーゴ栗鼠が補助するとすると御早い fact13: もしも「何かは凝り固まる一方で酒器でない」ということは本当だとしたらこの編纂事業は補助する fact14: もしも御早いものが革小物でないならその盲点は程無い fact15: 何かは凝り固まればそれは酒器だ fact16: あの落着は増幅しないしその上革小物でない fact17: 「あの縦割り行政は三編みでないし更に凝り固まらない」ということは真実だ fact18: あのマーゴ栗鼠は程無くないが増幅する fact19: もし仮にその盲点が程無いならこのエレガンスは酒器である fact20: なにかは野太いしそれにそれは昼食後である fact21: もしもあの落着が御早いとしたら酒器であるしその上革小物でない fact22: 仮にこのエレガンスが程無いならばその盲点は酒器である fact23: 「革小物だということはない」ものはある fact24: もしも何らかのものが補助するとしたらそれは凝り固まる fact25: 「このエレガンスは酒器である」ということは本当だとしたらあの落着は増幅しない fact26: その盲点は捨て難くないしまた革小物でない
fact4 & fact1 -> int1: あのマーゴ栗鼠は補助する; fact9 -> int2: 仮にあのマーゴ栗鼠が補助するなら御早いしさらにそれは革小物でない; int1 & int2 -> int3: あのマーゴ栗鼠は御早いがしかし革小物でない; int3 -> int4: 「御早いけど革小物であるということはない」物はある; int4 & fact14 -> int5: その盲点は程無い; int5 & fact19 -> int6: このエレガンスは酒器だ; int6 & fact5 -> int7: あの落着は増幅しないしそれに酒器であるということはない; int7 -> hypothesis;
あの落着は酒器である
fact30 -> int8: もし仮にあの落着が凝り固まるとすると酒器だ; fact27 -> int9: もしあの落着が補助するとすれば凝り固まる; fact29 -> int10: 「程無くないけど増幅する」物はある; int10 & fact28 -> 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: 仮にこのエレガンスが程無いならばその盲点は酒器である fact23: 「革小物だということはない」ものはある fact24: もしも何らかのものが補助するとしたらそれは凝り固まる fact25: 「このエレガンスは酒器である」ということは本当だとしたらあの落着は増幅しない fact26: その盲点は捨て難くないしまた革小物でない ; $hypothesis$ = あの落着は酒器でない ; $proof$ = 
fact4 & fact1 -> int1: あのマーゴ栗鼠は補助する; fact9 -> int2: 仮にあのマーゴ栗鼠が補助するなら御早いしさらにそれは革小物でない; int1 & int2 -> int3: あのマーゴ栗鼠は御早いがしかし革小物でない; int3 -> int4: 「御早いけど革小物であるということはない」物はある; int4 & fact14 -> int5: その盲点は程無い; int5 & fact19 -> int6: このエレガンスは酒器だ; int6 & fact5 -> int7: あの落着は増幅しないしそれに酒器であるということはない; int7 -> 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: もしも何らかのものが補助するとしたらそれは凝り固まる
事実25: 「このエレガンスは酒器である」ということは本当だとしたらあの落着は増幅しない
事実26: その盲点は捨て難くないしまた革小物でない

仮説: あの落着は酒器でない
1. 事実4と事実1から、推論1: "あのマーゴ栗鼠は補助する"が導かれる
2. 事実9から、推論2: "仮にあのマーゴ栗鼠が補助するなら御早いしさらにそれは革小物でない"が導かれる
3. 推論1と推論2から、推論3: "あのマーゴ栗鼠は御早いがしかし革小物でない"が導かれる
4. 推論3から、推論4: "「御早いけど革小物であるということはない」物はある"が導かれる
5. 推論4と事実14から、推論5: "その盲点は程無い"が導かれる
6. 推論5と事実19から、推論6: "このエレガンスは酒器だ"が導かれる
7. 推論6と事実5から、推論7: "あの落着は増幅しないしそれに酒器であるということはない"が導かれる
8. 推論7から、仮説が導かれる

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