この法人税制は楽しか統率であるかあるいは両方である
fact1: あの有期年金は旧財閥系企業集団でおまけにそれは赤字法人だ fact2: もしもこの法人税制が六等分するならあの有期年金は大人しい fact3: このＧＲＰが芸質だとすればあの有期年金は気付き易いがしかし寵しない fact4: もしもあの有期年金が大人しいならばこの法人税制は統率である fact5: あの有期年金は統率であるかまたはそれは六等分するかまたは両方ともである fact6: あのペナルティは疑り深くてさらに御了解下さる fact7: あの有期年金は楽しかあるいはそれは六等分する fact8: あの有期年金は粗い fact9: もし仮になにがしかのものは六等分しないなら「それは楽しかもしくは統率であるかまたは両方である」ということは間違いである fact10: もし仮にその備長炭が大人しくないけれど流され易いならばあの有期年金は六等分しない fact11: あの有期年金は六等分する fact12: 「「この税込み・送料別は罪深くないが無さ過ぎる」ということは間違っている」ということは成り立つ fact13: もし仮にあの有期年金が統率だとしたらこの法人税制は六等分する fact14: その各人は罪深いしその上六等分する fact15: もし「「罪深くないしおまけに無さ過ぎる」ということは誤っている」物はあるとしたら「その備長炭は大人しくない」ということは事実である fact16: もしもあの有期年金が六等分しないしそれにそれが寵しないとしたらこの法人税制は六等分しない fact17: 必定は流され易い fact18: 仮にこの法人税制が六等分すればあの有期年金は統率である fact19: あの有期年金は六等分するしかつ大人しい fact20: その固め技は大人しい
fact19 -> int1: あの有期年金は大人しい; int1 & fact4 -> int2: この法人税制は統率である; int2 -> hypothesis;
「この法人税制は楽しかもしくは統率であるか両方だ」ということは成り立つということはない
fact22 -> int3: もしもこの法人税制は六等分しないとすれば「「楽しかもしくはそれは統率であるかあるいは両方だ」ということは成り立つ」ということは成り立たない; fact21 -> int4: 「「罪深いということはないけれど無さ過ぎる」ということは嘘な」物はある; int4 & fact24 -> int5: その備長炭は大人しくない; fact26 -> int6: もし仮に「その備長炭は必定である」ということは間違いでないとすると流され易い;
$facts$ = fact1: あの有期年金は旧財閥系企業集団でおまけにそれは赤字法人だ fact2: もしもこの法人税制が六等分するならあの有期年金は大人しい fact3: このＧＲＰが芸質だとすればあの有期年金は気付き易いがしかし寵しない fact4: もしもあの有期年金が大人しいならばこの法人税制は統率である fact5: あの有期年金は統率であるかまたはそれは六等分するかまたは両方ともである fact6: あのペナルティは疑り深くてさらに御了解下さる fact7: あの有期年金は楽しかあるいはそれは六等分する fact8: あの有期年金は粗い fact9: もし仮になにがしかのものは六等分しないなら「それは楽しかもしくは統率であるかまたは両方である」ということは間違いである fact10: もし仮にその備長炭が大人しくないけれど流され易いならばあの有期年金は六等分しない fact11: あの有期年金は六等分する fact12: 「「この税込み・送料別は罪深くないが無さ過ぎる」ということは間違っている」ということは成り立つ fact13: もし仮にあの有期年金が統率だとしたらこの法人税制は六等分する fact14: その各人は罪深いしその上六等分する fact15: もし「「罪深くないしおまけに無さ過ぎる」ということは誤っている」物はあるとしたら「その備長炭は大人しくない」ということは事実である fact16: もしもあの有期年金が六等分しないしそれにそれが寵しないとしたらこの法人税制は六等分しない fact17: 必定は流され易い fact18: 仮にこの法人税制が六等分すればあの有期年金は統率である fact19: あの有期年金は六等分するしかつ大人しい fact20: その固め技は大人しい ; $hypothesis$ = この法人税制は楽しか統率であるかあるいは両方である ; $proof$ = 
fact19 -> int1: あの有期年金は大人しい; int1 & fact4 -> int2: この法人税制は統率である; int2 -> hypothesis; __PROVED__
事実1: あの有期年金は旧財閥系企業集団でおまけにそれは赤字法人だ
事実2: もしもこの法人税制が六等分するならあの有期年金は大人しい
事実3: このＧＲＰが芸質だとすればあの有期年金は気付き易いがしかし寵しない
事実4: もしもあの有期年金が大人しいならばこの法人税制は統率である
事実5: あの有期年金は統率であるかまたはそれは六等分するかまたは両方ともである
事実6: あのペナルティは疑り深くてさらに御了解下さる
事実7: あの有期年金は楽しかあるいはそれは六等分する
事実8: あの有期年金は粗い
事実9: もし仮になにがしかのものは六等分しないなら「それは楽しかもしくは統率であるかまたは両方である」ということは間違いである
事実10: もし仮にその備長炭が大人しくないけれど流され易いならばあの有期年金は六等分しない
事実11: あの有期年金は六等分する
事実12: 「「この税込み・送料別は罪深くないが無さ過ぎる」ということは間違っている」ということは成り立つ
事実13: もし仮にあの有期年金が統率だとしたらこの法人税制は六等分する
事実14: その各人は罪深いしその上六等分する
事実15: もし「「罪深くないしおまけに無さ過ぎる」ということは誤っている」物はあるとしたら「その備長炭は大人しくない」ということは事実である
事実16: もしもあの有期年金が六等分しないしそれにそれが寵しないとしたらこの法人税制は六等分しない
事実17: 必定は流され易い
事実18: 仮にこの法人税制が六等分すればあの有期年金は統率である
事実19: あの有期年金は六等分するしかつ大人しい
事実20: その固め技は大人しい

仮説: この法人税制は楽しか統率であるかあるいは両方である
1. 事実19から、推論1: "あの有期年金は大人しい"が導かれる
2. 推論1と事実4から、推論2: "この法人税制は統率である"が導かれる
3. 推論2から、仮説が導かれる

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