あの雷精は弱くない
fact1: もしも何かは力無いならば「それは五百株以上でなくてまた払拭する」ということは誤りだ fact2: もし仮にその金属球は岡山労働者組合でないかもしくは収支計算であるかまたはどちらもであるとするとやくざっぽくない fact3: 仮にあの三更はまどろっこしくらないならあの雷精は弱いしそれは点検内容である fact4: もし仮にあの雷精は点検内容でないとしたらフライ・オーバーでないけど向き直る fact5: その金属球は岡山労働者組合でないかまたはそれは収支計算であるかまたはどちらもである fact6: もしなんらかのものがフライ・オーバーでないけれど向き直るとすると弱くない fact7: 「あの雷精は点検内容でない」ということは正しい fact8: もし仮に「とある物は五百株以上でないが払拭する」ということは間違いであるとしたらまどろっこしくらない
fact6 -> int1: もしあの雷精はフライ・オーバーでないけれど向き直るとすれば「それは弱いということはない」ということは成り立つ; fact4 & fact7 -> int2: あの雷精はフライ・オーバーでないけれど向き直る; int1 & int2 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact4 & fact7 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
あの雷精は弱い
fact11 -> int3: もし仮に「あの三更は五百株以上でないがしかし払拭する」ということは嘘だとしたらそれはまどろっこしいということはない; fact13 -> int4: もし仮にあの三更は力無いとしたら「五百株以上でなくてそれは払拭する」ということは確かでない; fact12 & fact10 -> int5: その金属球はやくざっぽくない;
$facts$ = fact1: もしも何かは力無いならば「それは五百株以上でなくてまた払拭する」ということは誤りだ fact2: もし仮にその金属球は岡山労働者組合でないかもしくは収支計算であるかまたはどちらもであるとするとやくざっぽくない fact3: 仮にあの三更はまどろっこしくらないならあの雷精は弱いしそれは点検内容である fact4: もし仮にあの雷精は点検内容でないとしたらフライ・オーバーでないけど向き直る fact5: その金属球は岡山労働者組合でないかまたはそれは収支計算であるかまたはどちらもである fact6: もしなんらかのものがフライ・オーバーでないけれど向き直るとすると弱くない fact7: 「あの雷精は点検内容でない」ということは正しい fact8: もし仮に「とある物は五百株以上でないが払拭する」ということは間違いであるとしたらまどろっこしくらない ; $hypothesis$ = あの雷精は弱くない ; $proof$ = 
fact6 -> int1: もしあの雷精はフライ・オーバーでないけれど向き直るとすれば「それは弱いということはない」ということは成り立つ; fact4 & fact7 -> int2: あの雷精はフライ・オーバーでないけれど向き直る; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも何かは力無いならば「それは五百株以上でなくてまた払拭する」ということは誤りだ
事実2: もし仮にその金属球は岡山労働者組合でないかもしくは収支計算であるかまたはどちらもであるとするとやくざっぽくない
事実3: 仮にあの三更はまどろっこしくらないならあの雷精は弱いしそれは点検内容である
事実4: もし仮にあの雷精は点検内容でないとしたらフライ・オーバーでないけど向き直る
事実5: その金属球は岡山労働者組合でないかまたはそれは収支計算であるかまたはどちらもである
事実6: もしなんらかのものがフライ・オーバーでないけれど向き直るとすると弱くない
事実7: 「あの雷精は点検内容でない」ということは正しい
事実8: もし仮に「とある物は五百株以上でないが払拭する」ということは間違いであるとしたらまどろっこしくらない

仮説: あの雷精は弱くない
1. 事実6から、推論1: "もしあの雷精はフライ・オーバーでないけれど向き直るとすれば「それは弱いということはない」ということは成り立つ"が導かれる
2. 事実4と事実7から、推論2: "あの雷精はフライ・オーバーでないけれど向き直る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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