その筋グリコーゲンは支障無い
fact1: 仮にその筋グリコーゲンは太り出さないが支障無いならそれは専門分化する fact2: その物理的一体性は私的整理であるしさらに埋める fact3: もしも懐かしものが支障無いならばあの筋グリコーゲンは専門分化する fact4: 「あの類似は太り出さないが私的整理だ」ということは成り立たない fact5: 政策意図は支障無くない fact6: もしもその筋グリコーゲンが懐かしないがそれは専門分化するとしたら「支障無い」ということは本当だ fact7: 「あの類似は寒いということはないしさらにプロ入りしない」ということは真実でない fact8: もしも「あの類似は太り出すということはないししかも私的整理でない」ということは正しくないなら寒い fact9: 「その筋グリコーゲンは太り出さないし更にそれは専門分化しない」ということは嘘であるとすると「それは私的整理である」ということは成り立つ fact10: あの農村工業は支障無くないけれど安い fact11: その筋グリコーゲンはアさんだ fact12: 「「寒い」ということは本当である」物はある fact13: あの類似は痛めるしおまけに女っぽい fact14: 「あの類似は太り出すということはないし更に私的整理でない」ということは間違いだ fact15: 「政策意図な」ものはある fact16: もし仮にあの類似は私的整理であるならば「寒い」ということは成り立つ fact17: 「あの類似は政策意図だ」ということは成り立つ fact18: その筋グリコーゲンは懐かしない fact19: もし仮になにかは政策意図でないならば「「どうして良くないしさらに専門分化しない」ということは誤っていない」ということは間違っている fact20: 「あの類似は懐かしということはなくてまた寒くない」ということは成り立つということはない fact21: もし寒いものが政策意図であるとすればその筋グリコーゲンは専門分化する
fact8 & fact14 -> int1: あの類似は寒い; int1 & fact17 -> int2: あの類似は寒いし政策意図である; int2 -> int3: ある物は寒いしおまけに政策意図である; int3 & fact21 -> int4: その筋グリコーゲンは専門分化する; int4 & fact18 -> int5: その筋グリコーゲンは懐かしないけど専門分化する; int5 & fact6 -> hypothesis;
その筋グリコーゲンは支障無いということはない
fact22 -> int6: その筋グリコーゲンは政策意図であるとするとそれは支障無くない;
$facts$ = fact1: 仮にその筋グリコーゲンは太り出さないが支障無いならそれは専門分化する fact2: その物理的一体性は私的整理であるしさらに埋める fact3: もしも懐かしものが支障無いならばあの筋グリコーゲンは専門分化する fact4: 「あの類似は太り出さないが私的整理だ」ということは成り立たない fact5: 政策意図は支障無くない fact6: もしもその筋グリコーゲンが懐かしないがそれは専門分化するとしたら「支障無い」ということは本当だ fact7: 「あの類似は寒いということはないしさらにプロ入りしない」ということは真実でない fact8: もしも「あの類似は太り出すということはないししかも私的整理でない」ということは正しくないなら寒い fact9: 「その筋グリコーゲンは太り出さないし更にそれは専門分化しない」ということは嘘であるとすると「それは私的整理である」ということは成り立つ fact10: あの農村工業は支障無くないけれど安い fact11: その筋グリコーゲンはアさんだ fact12: 「「寒い」ということは本当である」物はある fact13: あの類似は痛めるしおまけに女っぽい fact14: 「あの類似は太り出すということはないし更に私的整理でない」ということは間違いだ fact15: 「政策意図な」ものはある fact16: もし仮にあの類似は私的整理であるならば「寒い」ということは成り立つ fact17: 「あの類似は政策意図だ」ということは成り立つ fact18: その筋グリコーゲンは懐かしない fact19: もし仮になにかは政策意図でないならば「「どうして良くないしさらに専門分化しない」ということは誤っていない」ということは間違っている fact20: 「あの類似は懐かしということはなくてまた寒くない」ということは成り立つということはない fact21: もし寒いものが政策意図であるとすればその筋グリコーゲンは専門分化する ; $hypothesis$ = その筋グリコーゲンは支障無い ; $proof$ = 
fact8 & fact14 -> int1: あの類似は寒い; int1 & fact17 -> int2: あの類似は寒いし政策意図である; int2 -> int3: ある物は寒いしおまけに政策意図である; int3 & fact21 -> int4: その筋グリコーゲンは専門分化する; int4 & fact18 -> int5: その筋グリコーゲンは懐かしないけど専門分化する; int5 & fact6 -> hypothesis; __PROVED__
事実1: 仮にその筋グリコーゲンは太り出さないが支障無いならそれは専門分化する
事実2: その物理的一体性は私的整理であるしさらに埋める
事実3: もしも懐かしものが支障無いならばあの筋グリコーゲンは専門分化する
事実4: 「あの類似は太り出さないが私的整理だ」ということは成り立たない
事実5: 政策意図は支障無くない
事実6: もしもその筋グリコーゲンが懐かしないがそれは専門分化するとしたら「支障無い」ということは本当だ
事実7: 「あの類似は寒いということはないしさらにプロ入りしない」ということは真実でない
事実8: もしも「あの類似は太り出すということはないししかも私的整理でない」ということは正しくないなら寒い
事実9: 「その筋グリコーゲンは太り出さないし更にそれは専門分化しない」ということは嘘であるとすると「それは私的整理である」ということは成り立つ
事実10: あの農村工業は支障無くないけれど安い
事実11: その筋グリコーゲンはアさんだ
事実12: 「「寒い」ということは本当である」物はある
事実13: あの類似は痛めるしおまけに女っぽい
事実14: 「あの類似は太り出すということはないし更に私的整理でない」ということは間違いだ
事実15: 「政策意図な」ものはある
事実16: もし仮にあの類似は私的整理であるならば「寒い」ということは成り立つ
事実17: 「あの類似は政策意図だ」ということは成り立つ
事実18: その筋グリコーゲンは懐かしない
事実19: もし仮になにかは政策意図でないならば「「どうして良くないしさらに専門分化しない」ということは誤っていない」ということは間違っている
事実20: 「あの類似は懐かしということはなくてまた寒くない」ということは成り立つということはない
事実21: もし寒いものが政策意図であるとすればその筋グリコーゲンは専門分化する

仮説: その筋グリコーゲンは支障無い
1. 事実8と事実14から、推論1: "あの類似は寒い"が導かれる
2. 推論1と事実17から、推論2: "あの類似は寒いし政策意図である"が導かれる
3. 推論2から、推論3: "ある物は寒いしおまけに政策意図である"が導かれる
4. 推論3と事実21から、推論4: "その筋グリコーゲンは専門分化する"が導かれる
5. 推論4と事実18から、推論5: "その筋グリコーゲンは懐かしないけど専門分化する"が導かれる
6. 推論5と事実6から、仮説が導かれる

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