その伝記映画は踏み砕く
fact1: もしもとあるものが物凄ーいとすると踏み砕く fact2: もしとある物がくらくらしないかまたはそれが甚だしないとすれば物凄ーい fact3: 何らかの物が出し入れしないとしたらそれは町作り事業でないししかも社団自体でない fact4: 取り易いということはないものは岬である fact5: もし仮にあの大恋愛がでっかくないかもしくはくらくらしないかもしくはどちらもならばそれは物凄ーい fact6: 仮にあの大恋愛がくらくらするならそれは奇怪である fact7: もし仮にその伝記映画がでっかいということはないとしたらあの大恋愛はくらくらしないかあるいは甚だしないか両方ともだ fact8: あの大恋愛はでっかくない fact9: 仮にあの大恋愛が物凄ーくないかあるいはでっかいかあるいは両方ともであるとするとその伝記映画は踏み砕かない fact10: あの民衆意識は出し入れしない fact11: もしもなんらかの物は町作り事業であるということはないとすれば「理解し合えるかそれは七転八倒するかもしくは両方ともだ」ということは成り立つということはない fact12: 仮になにかは物凄ーいということはないかまたはでっかくないかあるいはどちらもであるとするとくらくらする fact13: もしもあの大恋愛がでっかいということはないとするとその伝記映画はくらくらしないかもしくはそれは甚だしないかどちらもである fact14: 物凄ーいということはないものはくらくらするしかつでっかい fact15: もし仮にあの大恋愛がでっかいということはないとすればその伝記映画はくらくらするかまたは甚だしない fact16: もしその伝記映画が甚だしとしたらでっかい fact17: もし「あの大恋愛は理解し合えるということはないけれど物凄ーい」ということは事実と異なるならその介護保険料は物凄ーくない
fact13 & fact8 -> int1: その伝記映画はくらくらするということはないかもしくは甚だしないかあるいはどちらもである; fact2 -> int2: もし仮にその伝記映画がくらくらしないかあるいは甚だしないかまたはどちらもであるならばそれは物凄ーい; int1 & int2 -> int3: その伝記映画は物凄ーい; fact1 -> int4: 仮に「その伝記映画は物凄ーいということはない」ということは確かでないとすればそれは踏み砕く; int3 & int4 -> hypothesis;
fact13 & fact8 -> int1: (¬{AA}{b} v ¬{AB}{b}); fact2 -> int2: (¬{AA}{b} v ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; fact1 -> int4: {B}{b} -> {C}{b}; int3 & int4 -> hypothesis;
「その伝記映画は踏み砕かない」ということは事実だ
fact19 -> int5: 「あの民衆意識は町作り事業でない」ということは誤りでないとしたら「それは理解し合えるかあるいはそれは七転八倒するかあるいは両方である」ということは偽である; fact18 -> int6: もしもあの民衆意識が出し入れするということはないとすればそれは町作り事業でないしおまけに社団自体でない; int6 & fact21 -> int7: あの民衆意識は町作り事業でないし社団自体でない; int7 -> int8: あの民衆意識は町作り事業でない; int5 & int8 -> int9: 「あの民衆意識は理解し合えるかまたは七転八倒するかまたはどちらもだ」ということは嘘である; int9 -> int10: 「「理解し合えるかまたは七転八倒する」ということは事実と異なる」ものはある;
$facts$ = fact1: もしもとあるものが物凄ーいとすると踏み砕く fact2: もしとある物がくらくらしないかまたはそれが甚だしないとすれば物凄ーい fact3: 何らかの物が出し入れしないとしたらそれは町作り事業でないししかも社団自体でない fact4: 取り易いということはないものは岬である fact5: もし仮にあの大恋愛がでっかくないかもしくはくらくらしないかもしくはどちらもならばそれは物凄ーい fact6: 仮にあの大恋愛がくらくらするならそれは奇怪である fact7: もし仮にその伝記映画がでっかいということはないとしたらあの大恋愛はくらくらしないかあるいは甚だしないか両方ともだ fact8: あの大恋愛はでっかくない fact9: 仮にあの大恋愛が物凄ーくないかあるいはでっかいかあるいは両方ともであるとするとその伝記映画は踏み砕かない fact10: あの民衆意識は出し入れしない fact11: もしもなんらかの物は町作り事業であるということはないとすれば「理解し合えるかそれは七転八倒するかもしくは両方ともだ」ということは成り立つということはない fact12: 仮になにかは物凄ーいということはないかまたはでっかくないかあるいはどちらもであるとするとくらくらする fact13: もしもあの大恋愛がでっかいということはないとするとその伝記映画はくらくらしないかもしくはそれは甚だしないかどちらもである fact14: 物凄ーいということはないものはくらくらするしかつでっかい fact15: もし仮にあの大恋愛がでっかいということはないとすればその伝記映画はくらくらするかまたは甚だしない fact16: もしその伝記映画が甚だしとしたらでっかい fact17: もし「あの大恋愛は理解し合えるということはないけれど物凄ーい」ということは事実と異なるならその介護保険料は物凄ーくない ; $hypothesis$ = その伝記映画は踏み砕く ; $proof$ = 
fact13 & fact8 -> int1: その伝記映画はくらくらするということはないかもしくは甚だしないかあるいはどちらもである; fact2 -> int2: もし仮にその伝記映画がくらくらしないかあるいは甚だしないかまたはどちらもであるならばそれは物凄ーい; int1 & int2 -> int3: その伝記映画は物凄ーい; fact1 -> int4: 仮に「その伝記映画は物凄ーいということはない」ということは確かでないとすればそれは踏み砕く; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもとあるものが物凄ーいとすると踏み砕く
事実2: もしとある物がくらくらしないかまたはそれが甚だしないとすれば物凄ーい
事実3: 何らかの物が出し入れしないとしたらそれは町作り事業でないししかも社団自体でない
事実4: 取り易いということはないものは岬である
事実5: もし仮にあの大恋愛がでっかくないかもしくはくらくらしないかもしくはどちらもならばそれは物凄ーい
事実6: 仮にあの大恋愛がくらくらするならそれは奇怪である
事実7: もし仮にその伝記映画がでっかいということはないとしたらあの大恋愛はくらくらしないかあるいは甚だしないか両方ともだ
事実8: あの大恋愛はでっかくない
事実9: 仮にあの大恋愛が物凄ーくないかあるいはでっかいかあるいは両方ともであるとするとその伝記映画は踏み砕かない
事実10: あの民衆意識は出し入れしない
事実11: もしもなんらかの物は町作り事業であるということはないとすれば「理解し合えるかそれは七転八倒するかもしくは両方ともだ」ということは成り立つということはない
事実12: 仮になにかは物凄ーいということはないかまたはでっかくないかあるいはどちらもであるとするとくらくらする
事実13: もしもあの大恋愛がでっかいということはないとするとその伝記映画はくらくらしないかもしくはそれは甚だしないかどちらもである
事実14: 物凄ーいということはないものはくらくらするしかつでっかい
事実15: もし仮にあの大恋愛がでっかいということはないとすればその伝記映画はくらくらするかまたは甚だしない
事実16: もしその伝記映画が甚だしとしたらでっかい
事実17: もし「あの大恋愛は理解し合えるということはないけれど物凄ーい」ということは事実と異なるならその介護保険料は物凄ーくない

仮説: その伝記映画は踏み砕く
1. 事実13と事実8から、推論1: "その伝記映画はくらくらするということはないかもしくは甚だしないかあるいはどちらもである"が導かれる
2. 事実2から、推論2: "もし仮にその伝記映画がくらくらしないかあるいは甚だしないかまたはどちらもであるならばそれは物凄ーい"が導かれる
3. 推論1と推論2から、推論3: "その伝記映画は物凄ーい"が導かれる
4. 事実1から、推論4: "仮に「その伝記映画は物凄ーいということはない」ということは確かでないとすればそれは踏み砕く"が導かれる
5. 推論3と推論4から、仮説が導かれる

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