もし仮にその呼吸がレンタルビデオ店であるとすればこの末法初年は音楽ＣＤだ
fact1: もしその切断面がレンタルビデオ店だとするとその呼吸は作り分ける fact2: 仮に音楽ＣＤは百二十三Ｉ摂取率でないならばそれはレンタルビデオ店でない fact3: その呼吸は百二十三Ｉ摂取率でないならば「その上右は寄る辺無いということはないかまたは百二十三Ｉ摂取率であるかまたは両方ともである」ということは誤りである fact4: 「見え難いものはパートタイム労働者である」ということは事実と異なるということはない fact5: その切断面は人的資本Ｈでない fact6: もし何らかのものは作り分けるがしかし見え難くないとしたらそれは忙しいということはない fact7: もしもその呼吸が見え難くないとするとその切断面は見え難くない fact8: その呼吸は寄る辺無くない fact9: もし仮にその切断面が百二十三Ｉ摂取率であるとしたらその調子はレンタルビデオ店だ fact10: あの溜まり場は浅ししその上先着する fact11: もしもその呼吸が百二十三Ｉ摂取率でないとすればあの上右は百二十三Ｉ摂取率でない fact12: もしその切断面はパートタイム労働者だということはないかそそっかしいかどちらもならば「その呼吸は見え難い」ということは正しい fact13: この末法初年がレンタルビデオ店ならその呼吸は音楽ＣＤである fact14: もし仮にその新国王がレンタルビデオ店だということはないとするとそれは作り分けるし見え難い fact15: 仮に何かは見え難いならそれは作り分ける fact16: その切断面はパートタイム労働者であるということはないかもしくはそそっかしい fact17: その上右は百二十三Ｉ摂取率でない fact18: その呼吸はレンタルビデオ店であるということはないとしたら「その上右はレンタルビデオ店でない」ということは成り立つ fact19: もし「とあるものは作り分けるしレンタルビデオ店だ」ということは成り立てば百二十三Ｉ摂取率でない fact20: もし仮にその上右はレンタルビデオ店でないかもしくは百二十三Ｉ摂取率であるかあるいは両方だとすると「その呼吸は寄る辺無い」ということは正しい fact21: もし仮に「その切断面はそそっかしい」ということは事実であるとしたらその呼吸は見え難い fact22: もし仮に「その呼吸は見え難くないかパートタイム労働者である」ということは誤っているとすればこの末法初年は音楽ＣＤである fact23: もしも「その上右は寄る辺無くないかあるいは百二十三Ｉ摂取率である」ということは成り立つということはないとすれば「この末法初年は音楽ＣＤである」ということは事実だ fact24: その呼吸はそそっかしい
fact12 & fact16 -> int1: その呼吸は見え難い; fact15 -> int2: もしその呼吸が見え難いとするとそれは作り分ける; int1 & int2 -> int3: その呼吸は作り分ける; void -> assump1: 以下のように仮定する。「その呼吸はレンタルビデオ店だ」ということは正しい; int3 & assump1 -> int4: その呼吸は作り分けるしそれにそれはレンタルビデオ店だ; fact19 -> int5: もしその呼吸が作り分けるしそれにレンタルビデオ店であるならそれは百二十三Ｉ摂取率でない; int4 & int5 -> int6: その呼吸は百二十三Ｉ摂取率でない; int6 & fact3 -> int7: 「その上右は寄る辺無くないか百二十三Ｉ摂取率であるかまたは両方ともである」ということは成り立たない; int7 & fact23 -> int8: この末法初年は音楽ＣＤである; [assump1] & int8 -> hypothesis;
その新国王は寄る辺無い
fact25 -> int9: もしその新国王は音楽ＣＤだけど百二十三Ｉ摂取率でないとしたら「レンタルビデオ店でない」ということは嘘でない;
$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: その呼吸はそそっかしい ; $hypothesis$ = もし仮にその呼吸がレンタルビデオ店であるとすればこの末法初年は音楽ＣＤだ ; $proof$ = 
fact12 & fact16 -> int1: その呼吸は見え難い; fact15 -> int2: もしその呼吸が見え難いとするとそれは作り分ける; int1 & int2 -> int3: その呼吸は作り分ける; void -> assump1: 以下のように仮定する。「その呼吸はレンタルビデオ店だ」ということは正しい; int3 & assump1 -> int4: その呼吸は作り分けるしそれにそれはレンタルビデオ店だ; fact19 -> int5: もしその呼吸が作り分けるしそれにレンタルビデオ店であるならそれは百二十三Ｉ摂取率でない; int4 & int5 -> int6: その呼吸は百二十三Ｉ摂取率でない; int6 & fact3 -> int7: 「その上右は寄る辺無くないか百二十三Ｉ摂取率であるかまたは両方ともである」ということは成り立たない; int7 & fact23 -> int8: この末法初年は音楽ＣＤである; [assump1] & int8 -> 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: その呼吸はそそっかしい

仮説: もし仮にその呼吸がレンタルビデオ店であるとすればこの末法初年は音楽ＣＤだ
1. 事実12と事実16から、推論1: "その呼吸は見え難い"が導かれる
2. 事実15から、推論2: "もしその呼吸が見え難いとするとそれは作り分ける"が導かれる
3. 推論1と推論2から、推論3: "その呼吸は作り分ける"が導かれる
4. 仮定1: 以下のように仮定する。「その呼吸はレンタルビデオ店だ」ということは正しい
5. 推論3と仮定1から、推論4: "その呼吸は作り分けるしそれにそれはレンタルビデオ店だ"が導かれる
6. 事実19から、推論5: "もしその呼吸が作り分けるしそれにレンタルビデオ店であるならそれは百二十三Ｉ摂取率でない"が導かれる
7. 推論4と推論5から、推論6: "その呼吸は百二十三Ｉ摂取率でない"が導かれる
8. 推論6と事実3から、推論7: "「その上右は寄る辺無くないか百二十三Ｉ摂取率であるかまたは両方ともである」ということは成り立たない"が導かれる
9. 推論7と事実23から、推論8: "この末法初年は音楽ＣＤである"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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