そのプチダンベルは認め難くない
fact1: もしなにがしかのものは贅沢しないならば「得易くて更にそれは雄々しい」ということは間違いだ fact2: もしもこのスポーツ・文化活動が認め難いとすればそのプチダンベルは認め難い fact3: その西洋文明が贅沢するとしたら得易い fact4: 「もしも「前金でない」物はあれば「このスポーツ・文化活動は曝け出せるかもしくはそれは脂っこくないかどちらもである」ということは本当でない」ということは事実である fact5: その各業界が集め易いがしかしそれが電解液だということはないとするとそのプチダンベルは贅沢するということはない fact6: 仮に「その西洋文明は曝け出せるということはない」ということは成り立つとするとこのスポーツ・文化活動は認め難くておまけに前金である fact7: ある物が雄々しかないならば認め難いけれど疑り深いということはない fact8: もしも「何らかの物は脂っこくないかもしくは曝け出せらないか両方ともだ」ということは事実と異なるとすれば前金でない fact9: その西洋文明が認め難いけれど疑り深くないとしたらこのスポーツ・文化活動は疑り深くない fact10: 得易い物は雄々しい fact11: 「前金でない」物があるとしたらこのスポーツ・文化活動は曝け出せらない fact12: もし仮にその西洋文明が疑り深くないけど雄々しいとするとそのプチダンベルは認め難くない fact13: その西洋文明は贅沢する fact14: その各業界は集め易いが電解液でない fact15: 仮になにがしかの物は前金でないとすると「猫族であるかまたは鬼子母神でない」ということは本当でない fact16: もし仮にこのスポーツ・文化活動は疑り深くないならば「「その文字書式は脂っこくないかまたは曝け出せらないかどちらもだ」ということは誤っている」ということは事実だ fact17: 「前金であるということはない」物はある fact18: もしも「このスポーツ・文化活動は曝け出せるかそれは脂っこいということはない」ということは誤りだとすると「その西洋文明は疑り深くない」ということは成り立つ
fact17 & fact4 -> int1: 「このスポーツ・文化活動は曝け出せるか脂っこくない」ということは偽である; int1 & fact18 -> int2: その西洋文明は疑り深くない; fact3 & fact13 -> int3: その西洋文明は得易い; fact10 -> int4: もしその西洋文明が得易いならば雄々しい; int3 & int4 -> int5: その西洋文明は雄々しい; int2 & int5 -> int6: その西洋文明は疑り深くない一方で雄々しい; int6 & fact12 -> hypothesis;
「その文字書式は猫族であるかあるいはそれは鬼子母神でないかまたは両方である」ということは偽だ
fact23 -> int7: 仮にその文字書式は前金でないとしたら「猫族であるかあるいはそれは鬼子母神でない」ということは嘘だ; fact20 -> int8: もしも「その文字書式は脂っこくないかあるいはそれは曝け出せらないかまたは両方ともだ」ということは事実でないとすればそれは前金でない; fact25 -> int9: もし仮にその西洋文明が雄々しかないならそれは認め難いが疑り深くない; fact22 -> int10: 仮にそのプチダンベルは贅沢しないなら「得易くてかつ雄々しい」ということは偽だ; fact19 & fact26 -> int11: そのプチダンベルは贅沢しない; int10 & int11 -> int12: 「そのプチダンベルは得易いし更に雄々しい」ということは事実と異なる; int12 -> int13: 「「得易くておまけに雄々しい」ということは嘘である」物はある;
$facts$ = fact1: もしなにがしかのものは贅沢しないならば「得易くて更にそれは雄々しい」ということは間違いだ fact2: もしもこのスポーツ・文化活動が認め難いとすればそのプチダンベルは認め難い fact3: その西洋文明が贅沢するとしたら得易い fact4: 「もしも「前金でない」物はあれば「このスポーツ・文化活動は曝け出せるかもしくはそれは脂っこくないかどちらもである」ということは本当でない」ということは事実である fact5: その各業界が集め易いがしかしそれが電解液だということはないとするとそのプチダンベルは贅沢するということはない fact6: 仮に「その西洋文明は曝け出せるということはない」ということは成り立つとするとこのスポーツ・文化活動は認め難くておまけに前金である fact7: ある物が雄々しかないならば認め難いけれど疑り深いということはない fact8: もしも「何らかの物は脂っこくないかもしくは曝け出せらないか両方ともだ」ということは事実と異なるとすれば前金でない fact9: その西洋文明が認め難いけれど疑り深くないとしたらこのスポーツ・文化活動は疑り深くない fact10: 得易い物は雄々しい fact11: 「前金でない」物があるとしたらこのスポーツ・文化活動は曝け出せらない fact12: もし仮にその西洋文明が疑り深くないけど雄々しいとするとそのプチダンベルは認め難くない fact13: その西洋文明は贅沢する fact14: その各業界は集め易いが電解液でない fact15: 仮になにがしかの物は前金でないとすると「猫族であるかまたは鬼子母神でない」ということは本当でない fact16: もし仮にこのスポーツ・文化活動は疑り深くないならば「「その文字書式は脂っこくないかまたは曝け出せらないかどちらもだ」ということは誤っている」ということは事実だ fact17: 「前金であるということはない」物はある fact18: もしも「このスポーツ・文化活動は曝け出せるかそれは脂っこいということはない」ということは誤りだとすると「その西洋文明は疑り深くない」ということは成り立つ ; $hypothesis$ = そのプチダンベルは認め難くない ; $proof$ = 
fact17 & fact4 -> int1: 「このスポーツ・文化活動は曝け出せるか脂っこくない」ということは偽である; int1 & fact18 -> int2: その西洋文明は疑り深くない; fact3 & fact13 -> int3: その西洋文明は得易い; fact10 -> int4: もしその西洋文明が得易いならば雄々しい; int3 & int4 -> int5: その西洋文明は雄々しい; int2 & int5 -> int6: その西洋文明は疑り深くない一方で雄々しい; int6 & fact12 -> hypothesis; __PROVED__
事実1: もしなにがしかのものは贅沢しないならば「得易くて更にそれは雄々しい」ということは間違いだ
事実2: もしもこのスポーツ・文化活動が認め難いとすればそのプチダンベルは認め難い
事実3: その西洋文明が贅沢するとしたら得易い
事実4: 「もしも「前金でない」物はあれば「このスポーツ・文化活動は曝け出せるかもしくはそれは脂っこくないかどちらもである」ということは本当でない」ということは事実である
事実5: その各業界が集め易いがしかしそれが電解液だということはないとするとそのプチダンベルは贅沢するということはない
事実6: 仮に「その西洋文明は曝け出せるということはない」ということは成り立つとするとこのスポーツ・文化活動は認め難くておまけに前金である
事実7: ある物が雄々しかないならば認め難いけれど疑り深いということはない
事実8: もしも「何らかの物は脂っこくないかもしくは曝け出せらないか両方ともだ」ということは事実と異なるとすれば前金でない
事実9: その西洋文明が認め難いけれど疑り深くないとしたらこのスポーツ・文化活動は疑り深くない
事実10: 得易い物は雄々しい
事実11: 「前金でない」物があるとしたらこのスポーツ・文化活動は曝け出せらない
事実12: もし仮にその西洋文明が疑り深くないけど雄々しいとするとそのプチダンベルは認め難くない
事実13: その西洋文明は贅沢する
事実14: その各業界は集め易いが電解液でない
事実15: 仮になにがしかの物は前金でないとすると「猫族であるかまたは鬼子母神でない」ということは本当でない
事実16: もし仮にこのスポーツ・文化活動は疑り深くないならば「「その文字書式は脂っこくないかまたは曝け出せらないかどちらもだ」ということは誤っている」ということは事実だ
事実17: 「前金であるということはない」物はある
事実18: もしも「このスポーツ・文化活動は曝け出せるかそれは脂っこいということはない」ということは誤りだとすると「その西洋文明は疑り深くない」ということは成り立つ

仮説: そのプチダンベルは認め難くない
1. 事実17と事実4から、推論1: "「このスポーツ・文化活動は曝け出せるか脂っこくない」ということは偽である"が導かれる
2. 推論1と事実18から、推論2: "その西洋文明は疑り深くない"が導かれる
3. 事実3と事実13から、推論3: "その西洋文明は得易い"が導かれる
4. 事実10から、推論4: "もしその西洋文明が得易いならば雄々しい"が導かれる
5. 推論3と推論4から、推論5: "その西洋文明は雄々しい"が導かれる
6. 推論2と推論5から、推論6: "その西洋文明は疑り深くない一方で雄々しい"が導かれる
7. 推論6と事実12から、仮説が導かれる

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