この山羊座は歌い上げるしすばしっこい
fact1: あのニゲラは来難いし淀み無い fact2: 仮にある物が懐かしないならこの山羊座は鄙びるしそれはすばしっこい fact3: 「「歌い上げない」ということは成り立つ」物があるならこの山羊座は鄙びる fact4: 「すばしっこい」物はある fact5: 「鄙びる」物はある fact6: もし仮に「歌い上げるということはない」ものはあるとすると「この山羊座は巡礼する」ということは成り立つ fact7: この山羊座が後ろ羽ならば歌い上げる fact8: もしその電流制限抵抗がすばしっこいとしたら厚かましい fact9: この山羊座は後ろ羽である fact10: その枢密院はすばしっこい fact11: 「「潔い」ということは真実である」ものはある fact12: 仮に「歌い上げない」ものがあるとすればあの山羊座はすばしっこい fact13: もし「鄙びるということはない」物があるならこの山羊座は歌い上げる fact14: もしなんらかのものは懐かしないとすれば「それは歌い上げるし加えてすばしっこい」ということは真実でない fact15: もしもなにがしかのものは鄙びないとすれば「懐かしし後ろ羽だ」ということは嘘だ fact16: なにかは懐かしない fact17: もし仮に「とある物は懐かしし後ろ羽である」ということは成り立たないとすればそれは懐かしということはない
fact16 & fact2 -> int1: この山羊座は鄙びるしすばしっこい; int1 -> int2: この山羊座はすばしっこい; fact7 & fact9 -> int3: この山羊座は歌い上げる; int2 & int3 -> hypothesis;
「この山羊座は歌い上げるし加えてそれはすばしっこい」ということは正しくない
fact20 -> int4: この山羊座は懐かしないならば「歌い上げるしすばしっこい」ということは正しいということはない; fact18 -> int5: もしも「この山羊座は懐かしし後ろ羽だ」ということは間違いならそれは懐かしということはない; fact19 -> int6: もしこの山羊座は鄙びないならば「それは懐かしししかもそれは後ろ羽だ」ということは間違っている;
$facts$ = fact1: あのニゲラは来難いし淀み無い fact2: 仮にある物が懐かしないならこの山羊座は鄙びるしそれはすばしっこい fact3: 「「歌い上げない」ということは成り立つ」物があるならこの山羊座は鄙びる fact4: 「すばしっこい」物はある fact5: 「鄙びる」物はある fact6: もし仮に「歌い上げるということはない」ものはあるとすると「この山羊座は巡礼する」ということは成り立つ fact7: この山羊座が後ろ羽ならば歌い上げる fact8: もしその電流制限抵抗がすばしっこいとしたら厚かましい fact9: この山羊座は後ろ羽である fact10: その枢密院はすばしっこい fact11: 「「潔い」ということは真実である」ものはある fact12: 仮に「歌い上げない」ものがあるとすればあの山羊座はすばしっこい fact13: もし「鄙びるということはない」物があるならこの山羊座は歌い上げる fact14: もしなんらかのものは懐かしないとすれば「それは歌い上げるし加えてすばしっこい」ということは真実でない fact15: もしもなにがしかのものは鄙びないとすれば「懐かしし後ろ羽だ」ということは嘘だ fact16: なにかは懐かしない fact17: もし仮に「とある物は懐かしし後ろ羽である」ということは成り立たないとすればそれは懐かしということはない ; $hypothesis$ = この山羊座は歌い上げるしすばしっこい ; $proof$ = 
fact16 & fact2 -> int1: この山羊座は鄙びるしすばしっこい; int1 -> int2: この山羊座はすばしっこい; fact7 & fact9 -> int3: この山羊座は歌い上げる; int2 & int3 -> hypothesis; __PROVED__
事実1: あのニゲラは来難いし淀み無い
事実2: 仮にある物が懐かしないならこの山羊座は鄙びるしそれはすばしっこい
事実3: 「「歌い上げない」ということは成り立つ」物があるならこの山羊座は鄙びる
事実4: 「すばしっこい」物はある
事実5: 「鄙びる」物はある
事実6: もし仮に「歌い上げるということはない」ものはあるとすると「この山羊座は巡礼する」ということは成り立つ
事実7: この山羊座が後ろ羽ならば歌い上げる
事実8: もしその電流制限抵抗がすばしっこいとしたら厚かましい
事実9: この山羊座は後ろ羽である
事実10: その枢密院はすばしっこい
事実11: 「「潔い」ということは真実である」ものはある
事実12: 仮に「歌い上げない」ものがあるとすればあの山羊座はすばしっこい
事実13: もし「鄙びるということはない」物があるならこの山羊座は歌い上げる
事実14: もしなんらかのものは懐かしないとすれば「それは歌い上げるし加えてすばしっこい」ということは真実でない
事実15: もしもなにがしかのものは鄙びないとすれば「懐かしし後ろ羽だ」ということは嘘だ
事実16: なにかは懐かしない
事実17: もし仮に「とある物は懐かしし後ろ羽である」ということは成り立たないとすればそれは懐かしということはない

仮説: この山羊座は歌い上げるしすばしっこい
1. 事実16と事実2から、推論1: "この山羊座は鄙びるしすばしっこい"が導かれる
2. 推論1から、推論2: "この山羊座はすばしっこい"が導かれる
3. 事実7と事実9から、推論3: "この山羊座は歌い上げる"が導かれる
4. 推論2と推論3から、仮説が導かれる

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