あの制定改廃は綴らない
fact1: もしも何らかのものは素人っぽいなら「溜め込み易くないし更にそれは歌い続けるということはない」ということは間違いである fact2: 仮にとある物が綴らないとしたら組合でないし更にそれは長寿命化でない fact3: もし仮にこの単糖類が歌い続けないならばあの縦深は溜め込み易くないし歌い続けるということはない fact4: もし「「ノーマルステップであるということはない」ということは成り立つ」ものがあるとしたらその縦深は貶むし素人っぽい fact5: 「ノーマルステップでない」物はある fact6: 「遣り取りする」物はある fact7: もしもその産業間が心強いとしたら申し遅れる fact8: もし「この単糖類は貶むし溜め込み易い」ということは間違っているとするとそれは素人っぽいということはない fact9: もしあの制定改廃が組合であるということはないけれど綴ればこの単糖類は歌い続けない fact10: 「その産業間は長寿命化でないかまたは施行令だ」ということは誤りだとしたらあの制定改廃は組合でない fact11: 「「心強い」ということは事実である」ものがあるとすればその陣羽織は施行令でない fact12: もしその陣羽織は施行令でないなら「「その産業間は長寿命化でないか施行令であるかまたはどちらもである」ということは嘘だ」ということは確かだ fact13: もし仮にあの制定改廃が歌い続けるけれど綴らないとすると「その陣羽織は綴らない」ということは事実だ fact14: 仮にその陣羽織が組合でないとしたらその産業間は施行令であるしおまけに心強い fact15: 「心強い」物はある
fact15 & fact11 -> int1: その陣羽織は施行令でない; int1 & fact12 -> int2: 「その産業間は長寿命化だということはないか施行令であるかもしくはどちらもである」ということは成り立つということはない; int2 & fact10 -> int3: あの制定改廃は組合であるということはない; void -> assump1: 以下のように仮定する。あの制定改廃は綴る; int3 & assump1 -> int4: あの制定改廃は組合でない一方で綴る; int4 & fact9 -> int5: この単糖類は歌い続けない; int5 & fact3 -> int6: その縦深は溜め込み易いということはないしさらに歌い続けない; fact4 & fact5 -> int7: その縦深は貶むし素人っぽい; int7 -> int8: その縦深は素人っぽい; fact1 -> int9: 仮にその縦深は素人っぽいとすれば「それは溜め込み易くないし歌い続けない」ということは間違っている; int8 & int9 -> int10: 「その縦深は溜め込み易くないしそれは歌い続けない」ということは偽だ; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
「その産業間は申し遅れる」ということは事実である
fact17 -> int12: もしもその陣羽織は綴らないならば「それは組合でないし長寿命化でない」ということは成り立つ;
$facts$ = fact1: もしも何らかのものは素人っぽいなら「溜め込み易くないし更にそれは歌い続けるということはない」ということは間違いである fact2: 仮にとある物が綴らないとしたら組合でないし更にそれは長寿命化でない fact3: もし仮にこの単糖類が歌い続けないならばあの縦深は溜め込み易くないし歌い続けるということはない fact4: もし「「ノーマルステップであるということはない」ということは成り立つ」ものがあるとしたらその縦深は貶むし素人っぽい fact5: 「ノーマルステップでない」物はある fact6: 「遣り取りする」物はある fact7: もしもその産業間が心強いとしたら申し遅れる fact8: もし「この単糖類は貶むし溜め込み易い」ということは間違っているとするとそれは素人っぽいということはない fact9: もしあの制定改廃が組合であるということはないけれど綴ればこの単糖類は歌い続けない fact10: 「その産業間は長寿命化でないかまたは施行令だ」ということは誤りだとしたらあの制定改廃は組合でない fact11: 「「心強い」ということは事実である」ものがあるとすればその陣羽織は施行令でない fact12: もしその陣羽織は施行令でないなら「「その産業間は長寿命化でないか施行令であるかまたはどちらもである」ということは嘘だ」ということは確かだ fact13: もし仮にあの制定改廃が歌い続けるけれど綴らないとすると「その陣羽織は綴らない」ということは事実だ fact14: 仮にその陣羽織が組合でないとしたらその産業間は施行令であるしおまけに心強い fact15: 「心強い」物はある ; $hypothesis$ = あの制定改廃は綴らない ; $proof$ = 
fact15 & fact11 -> int1: その陣羽織は施行令でない; int1 & fact12 -> int2: 「その産業間は長寿命化だということはないか施行令であるかもしくはどちらもである」ということは成り立つということはない; int2 & fact10 -> int3: あの制定改廃は組合であるということはない; void -> assump1: 以下のように仮定する。あの制定改廃は綴る; int3 & assump1 -> int4: あの制定改廃は組合でない一方で綴る; int4 & fact9 -> int5: この単糖類は歌い続けない; int5 & fact3 -> int6: その縦深は溜め込み易いということはないしさらに歌い続けない; fact4 & fact5 -> int7: その縦深は貶むし素人っぽい; int7 -> int8: その縦深は素人っぽい; fact1 -> int9: 仮にその縦深は素人っぽいとすれば「それは溜め込み易くないし歌い続けない」ということは間違っている; int8 & int9 -> int10: 「その縦深は溜め込み易くないしそれは歌い続けない」ということは偽だ; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: もしも何らかのものは素人っぽいなら「溜め込み易くないし更にそれは歌い続けるということはない」ということは間違いである
事実2: 仮にとある物が綴らないとしたら組合でないし更にそれは長寿命化でない
事実3: もし仮にこの単糖類が歌い続けないならばあの縦深は溜め込み易くないし歌い続けるということはない
事実4: もし「「ノーマルステップであるということはない」ということは成り立つ」ものがあるとしたらその縦深は貶むし素人っぽい
事実5: 「ノーマルステップでない」物はある
事実6: 「遣り取りする」物はある
事実7: もしもその産業間が心強いとしたら申し遅れる
事実8: もし「この単糖類は貶むし溜め込み易い」ということは間違っているとするとそれは素人っぽいということはない
事実9: もしあの制定改廃が組合であるということはないけれど綴ればこの単糖類は歌い続けない
事実10: 「その産業間は長寿命化でないかまたは施行令だ」ということは誤りだとしたらあの制定改廃は組合でない
事実11: 「「心強い」ということは事実である」ものがあるとすればその陣羽織は施行令でない
事実12: もしその陣羽織は施行令でないなら「「その産業間は長寿命化でないか施行令であるかまたはどちらもである」ということは嘘だ」ということは確かだ
事実13: もし仮にあの制定改廃が歌い続けるけれど綴らないとすると「その陣羽織は綴らない」ということは事実だ
事実14: 仮にその陣羽織が組合でないとしたらその産業間は施行令であるしおまけに心強い
事実15: 「心強い」物はある

仮説: あの制定改廃は綴らない
1. 事実15と事実11から、推論1: "その陣羽織は施行令でない"が導かれる
2. 推論1と事実12から、推論2: "「その産業間は長寿命化だということはないか施行令であるかもしくはどちらもである」ということは成り立つということはない"が導かれる
3. 推論2と事実10から、推論3: "あの制定改廃は組合であるということはない"が導かれる
4. 仮定1: 以下のように仮定する。あの制定改廃は綴る
5. 推論3と仮定1から、推論4: "あの制定改廃は組合でない一方で綴る"が導かれる
6. 推論4と事実9から、推論5: "この単糖類は歌い続けない"が導かれる
7. 推論5と事実3から、推論6: "その縦深は溜め込み易いということはないしさらに歌い続けない"が導かれる
8. 事実4と事実5から、推論7: "その縦深は貶むし素人っぽい"が導かれる
9. 推論7から、推論8: "その縦深は素人っぽい"が導かれる
10. 事実1から、推論9: "仮にその縦深は素人っぽいとすれば「それは溜め込み易くないし歌い続けない」ということは間違っている"が導かれる
11. 推論8と推論9から、推論10: "「その縦深は溜め込み易くないしそれは歌い続けない」ということは偽だ"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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