その副頭目は一トン当たりでない
fact1: 仮にある物が地域生活であるかもしくは気忙しくないかどちらもだとしたらそれは気忙しくない fact2: もし仮に何らかの物がすっごいならそれは丸くない fact3: あの御猪口は内部的要因である fact4: すっごいものは一トン当たりでない fact5: もしもこのフーチが一トン当たりだとするとその副頭目は気忙しい fact6: どれもこれもは気忙しくない fact7: もしとあるものが地域生活でないがしかし気忙しいならばあのフーチは一トン当たりでない fact8: もしもその副頭目が気忙しくないならこのフーチはすっごいかあるいはそれは丸いかまたは両方である fact9: もしも「その二十個分は着目出来ない」ということは事実ならあの御猪口は地域生活であるかあるいは丸い fact10: 「気忙しいということはない」ものはある fact11: このミルクジェラートは丸い fact12: 気忙しいものが地域生活であるとすればあの御猪口は着目出来ない fact13: このフーチはすっごくない fact14: その二十個分が丸いとするとその副頭目はすっごい fact15: どれもこれもはドイツ観念論でないがしかし取得し易い fact16: このフーチが表現し難いとすればその二十個分は地域生活である fact17: 気忙しくない物が地域生活であるならばあの御猪口は着目出来ない fact18: 仮にその二十個分は地域生活なら「このフーチは表現し難い」ということは確かだ fact19: もしもその二十個分は表現し難いとすれば「その副頭目はすっごい」ということは成り立つ fact20: もしあの御猪口は着目出来ないとしたら「その二十個分は丸いかまたは表現し難いかもしくは両方ともだ」ということは真実である fact21: このフーチは気忙しくない fact22: 全ての物は気忙しくない一方で地域生活である fact23: この垂れは着目出来るということはないがしかしそれは返せる
fact22 -> int1: このフーチは気忙しくないが地域生活である; int1 -> int2: 「気忙しくなくて加えて地域生活である」ものはある; int2 & fact17 -> int3: あの御猪口は着目出来ない; int3 & fact20 -> int4: その二十個分は丸いか表現し難いかあるいは両方である; int4 & fact14 & fact19 -> int5: 「その副頭目はすっごい」ということは確かだ; fact4 -> int6: もしもその副頭目がすっごいならばそれは一トン当たりでない; int5 & int6 -> hypothesis;
その副頭目は一トン当たりだ
fact24 -> int7: もしその副頭目が地域生活であるか気忙しくないかもしくは両方なら「それは気忙しくない」ということは間違いであるということはない;
$facts$ = fact1: 仮にある物が地域生活であるかもしくは気忙しくないかどちらもだとしたらそれは気忙しくない fact2: もし仮に何らかの物がすっごいならそれは丸くない fact3: あの御猪口は内部的要因である fact4: すっごいものは一トン当たりでない fact5: もしもこのフーチが一トン当たりだとするとその副頭目は気忙しい fact6: どれもこれもは気忙しくない fact7: もしとあるものが地域生活でないがしかし気忙しいならばあのフーチは一トン当たりでない fact8: もしもその副頭目が気忙しくないならこのフーチはすっごいかあるいはそれは丸いかまたは両方である fact9: もしも「その二十個分は着目出来ない」ということは事実ならあの御猪口は地域生活であるかあるいは丸い fact10: 「気忙しいということはない」ものはある fact11: このミルクジェラートは丸い fact12: 気忙しいものが地域生活であるとすればあの御猪口は着目出来ない fact13: このフーチはすっごくない fact14: その二十個分が丸いとするとその副頭目はすっごい fact15: どれもこれもはドイツ観念論でないがしかし取得し易い fact16: このフーチが表現し難いとすればその二十個分は地域生活である fact17: 気忙しくない物が地域生活であるならばあの御猪口は着目出来ない fact18: 仮にその二十個分は地域生活なら「このフーチは表現し難い」ということは確かだ fact19: もしもその二十個分は表現し難いとすれば「その副頭目はすっごい」ということは成り立つ fact20: もしあの御猪口は着目出来ないとしたら「その二十個分は丸いかまたは表現し難いかもしくは両方ともだ」ということは真実である fact21: このフーチは気忙しくない fact22: 全ての物は気忙しくない一方で地域生活である fact23: この垂れは着目出来るということはないがしかしそれは返せる ; $hypothesis$ = その副頭目は一トン当たりでない ; $proof$ = 
fact22 -> int1: このフーチは気忙しくないが地域生活である; int1 -> int2: 「気忙しくなくて加えて地域生活である」ものはある; int2 & fact17 -> int3: あの御猪口は着目出来ない; int3 & fact20 -> int4: その二十個分は丸いか表現し難いかあるいは両方である; int4 & fact14 & fact19 -> int5: 「その副頭目はすっごい」ということは確かだ; fact4 -> int6: もしもその副頭目がすっごいならばそれは一トン当たりでない; int5 & int6 -> 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: この垂れは着目出来るということはないがしかしそれは返せる

仮説: その副頭目は一トン当たりでない
1. 事実22から、推論1: "このフーチは気忙しくないが地域生活である"が導かれる
2. 推論1から、推論2: "「気忙しくなくて加えて地域生活である」ものはある"が導かれる
3. 推論2と事実17から、推論3: "あの御猪口は着目出来ない"が導かれる
4. 推論3と事実20から、推論4: "その二十個分は丸いか表現し難いかあるいは両方である"が導かれる
5. 推論4と事実14と事実19から、推論5: "「その副頭目はすっごい」ということは確かだ"が導かれる
6. 事実4から、推論6: "もしもその副頭目がすっごいならばそれは一トン当たりでない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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