「仮に同年であるとすればハ音である」物はある
fact1: もしもあのクグロフが煩わせるしハ音ならばこの鋼鉄船は同年だということはない fact2: この鋼鉄船は同年だ fact3: もしあのクグロフが後胸だしその上同年であるとしたらこの鋼鉄船は煩わせない fact4: この鋼鉄船はハ音だということはない fact5: もし何らかの物が後胸でないとすればそれはハ音である fact6: 仮にとある物はハ音でしかも煩わせるとすれば「その咀嚼は後胸である」ということは正しい fact7: 仮にこの鋼鉄船はハ音でないとするとそれは国有財産である fact8: その完全体は叩き起こす fact9: すべては煩わせる fact10: この鋼鉄船は金字塔でない fact11: 「「もしも広げ始めるとすれば反らす」物はある」ということは成り立つ fact12: もしもとあるものが望み得ないとするとそれはハ音であるしかつ煩わせる fact13: あのクグロフは狭ししそれは保持す fact14: この鋼鉄船は予測し難い fact15: 「なんらかのものは同年であるけど後胸でない」ということは成り立たないなら後胸である fact16: あのクグロフは煩わせる
void -> assump1: 以下のように仮定する。あのクグロフは後胸である; void -> assump2: 以下のように仮定する。あのクグロフは同年である; assump1 & assump2 -> int1: あのクグロフは後胸であるし加えて同年である; int1 & fact3 -> int2: この鋼鉄船は煩わせない; fact9 -> int3: この鋼鉄船は煩わせる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのクグロフは後胸でない; fact5 -> int6: もし仮にあのクグロフは後胸でないならばそれはハ音である; int5 & int6 -> int7: あのクグロフはハ音だ; [assump2] & int7 -> int8: もしあのクグロフが同年ならそれはハ音である; int8 -> hypothesis;
その咀嚼は同年である
fact18 -> int9: 「あのクグロフは望み得ない」ということは事実と異なるということはないならばそれはハ音であるし煩わせる;
$facts$ = fact1: もしもあのクグロフが煩わせるしハ音ならばこの鋼鉄船は同年だということはない fact2: この鋼鉄船は同年だ fact3: もしあのクグロフが後胸だしその上同年であるとしたらこの鋼鉄船は煩わせない fact4: この鋼鉄船はハ音だということはない fact5: もし何らかの物が後胸でないとすればそれはハ音である fact6: 仮にとある物はハ音でしかも煩わせるとすれば「その咀嚼は後胸である」ということは正しい fact7: 仮にこの鋼鉄船はハ音でないとするとそれは国有財産である fact8: その完全体は叩き起こす fact9: すべては煩わせる fact10: この鋼鉄船は金字塔でない fact11: 「「もしも広げ始めるとすれば反らす」物はある」ということは成り立つ fact12: もしもとあるものが望み得ないとするとそれはハ音であるしかつ煩わせる fact13: あのクグロフは狭ししそれは保持す fact14: この鋼鉄船は予測し難い fact15: 「なんらかのものは同年であるけど後胸でない」ということは成り立たないなら後胸である fact16: あのクグロフは煩わせる ; $hypothesis$ = 「仮に同年であるとすればハ音である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あのクグロフは後胸である; void -> assump2: 以下のように仮定する。あのクグロフは同年である; assump1 & assump2 -> int1: あのクグロフは後胸であるし加えて同年である; int1 & fact3 -> int2: この鋼鉄船は煩わせない; fact9 -> int3: この鋼鉄船は煩わせる; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのクグロフは後胸でない; fact5 -> int6: もし仮にあのクグロフは後胸でないならばそれはハ音である; int5 & int6 -> int7: あのクグロフはハ音だ; [assump2] & int7 -> int8: もしあのクグロフが同年ならそれはハ音である; int8 -> hypothesis; __PROVED__
事実1: もしもあのクグロフが煩わせるしハ音ならばこの鋼鉄船は同年だということはない
事実2: この鋼鉄船は同年だ
事実3: もしあのクグロフが後胸だしその上同年であるとしたらこの鋼鉄船は煩わせない
事実4: この鋼鉄船はハ音だということはない
事実5: もし何らかの物が後胸でないとすればそれはハ音である
事実6: 仮にとある物はハ音でしかも煩わせるとすれば「その咀嚼は後胸である」ということは正しい
事実7: 仮にこの鋼鉄船はハ音でないとするとそれは国有財産である
事実8: その完全体は叩き起こす
事実9: すべては煩わせる
事実10: この鋼鉄船は金字塔でない
事実11: 「「もしも広げ始めるとすれば反らす」物はある」ということは成り立つ
事実12: もしもとあるものが望み得ないとするとそれはハ音であるしかつ煩わせる
事実13: あのクグロフは狭ししそれは保持す
事実14: この鋼鉄船は予測し難い
事実15: 「なんらかのものは同年であるけど後胸でない」ということは成り立たないなら後胸である
事実16: あのクグロフは煩わせる

仮説: 「仮に同年であるとすればハ音である」物はある
1. 仮定1: 以下のように仮定する。あのクグロフは後胸である
2. 仮定2: 以下のように仮定する。あのクグロフは同年である
3. 仮定1と仮定2から、推論1: "あのクグロフは後胸であるし加えて同年である"が導かれる
4. 推論1と事実3から、推論2: "この鋼鉄船は煩わせない"が導かれる
5. 事実9から、推論3: "この鋼鉄船は煩わせる"が導かれる
6. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あのクグロフは後胸でない"が導かれる
8. 事実5から、推論6: "もし仮にあのクグロフは後胸でないならばそれはハ音である"が導かれる
9. 推論5と推論6から、推論7: "あのクグロフはハ音だ"が導かれる
10. [仮定2]と推論7から、推論8: "もしあのクグロフが同年ならそれはハ音である"が導かれる
11. 推論8から、仮説が導かれる

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