この製造会社は漏れ易い
fact1: とある物は望み得ないがしかし損金算入する fact2: 「収益事業収入でないし漏れ易くない」ものはある fact3: 「望み得るということはない」物はある fact4: なんらかのものは検診でないしさらにプロモーション活動でない fact5: 「このＳＲＹは取り組み易い」ということは本当だ fact6: 仮に「望み得るがしかし損金算入するということはない」ものがあるとしたらこのＳＲＹは収益事業収入だ fact7: もし仮に「何らかの物は損金算入しないがしかしそれは望み得る」ということは事実と異なるとしたら漏れ易くない fact8: もしも「望み得ないしカラダ全体でない」ものがあるならあのゲイン値はカルビだ fact9: このＳＲＹは狙い易い fact10: 「漏れ易くないし収益事業収入でない」物はある fact11: このＳＲＹは損金算入する fact12: 「そのブトルファノールは失敗する」ということは確かである fact13: このＳＲＹが収益事業収入だとしたらこの製造会社は漏れ易い fact14: もしもなにかは晴れ渡るならそれは収益事業収入だということはない一方で格好悪い fact15: もしこのＳＲＹが取り組み易いとすればそれは乗り易いけれど柔くない fact16: 仮にこのＳＲＹが漏れ易いとすればあの製造会社は収益事業収入である fact17: 「望み得るということはなくて加えて損金算入するということはない」ものはある fact18: 「ある物が望み得ないしそれにそれは損金算入しないとすれば「このＳＲＹは収益事業収入だ」ということは確かである」ということは真実だ fact19: この製造会社は収益事業収入である fact20: 「その木構造は現われ易い」ということは真実だ fact21: もし仮になにかは収益事業収入でないとすれば「損金算入するということはないけれど望み得る」ということは誤っている fact22: この製造会社は望み得る
fact17 & fact18 -> int1: このＳＲＹは収益事業収入だ; int1 & fact13 -> hypothesis;
この製造会社は漏れ易くない
fact25 -> int2: もし「この製造会社は損金算入しないが望み得る」ということは間違いであるならそれは漏れ易くない; fact24 -> int3: もしもこの製造会社は収益事業収入でないとすれば「損金算入しなくてまた望み得る」ということは成り立つということはない; fact27 -> int4: 仮にこの製造会社が晴れ渡るとすると収益事業収入でないしその上格好悪い; fact23 & fact26 -> int5: このＳＲＹは乗り易いがしかし柔くない; int5 -> int6: 「乗り易くて柔くない」物はある;
$facts$ = fact1: とある物は望み得ないがしかし損金算入する fact2: 「収益事業収入でないし漏れ易くない」ものはある fact3: 「望み得るということはない」物はある fact4: なんらかのものは検診でないしさらにプロモーション活動でない fact5: 「このＳＲＹは取り組み易い」ということは本当だ fact6: 仮に「望み得るがしかし損金算入するということはない」ものがあるとしたらこのＳＲＹは収益事業収入だ fact7: もし仮に「何らかの物は損金算入しないがしかしそれは望み得る」ということは事実と異なるとしたら漏れ易くない fact8: もしも「望み得ないしカラダ全体でない」ものがあるならあのゲイン値はカルビだ fact9: このＳＲＹは狙い易い fact10: 「漏れ易くないし収益事業収入でない」物はある fact11: このＳＲＹは損金算入する fact12: 「そのブトルファノールは失敗する」ということは確かである fact13: このＳＲＹが収益事業収入だとしたらこの製造会社は漏れ易い fact14: もしもなにかは晴れ渡るならそれは収益事業収入だということはない一方で格好悪い fact15: もしこのＳＲＹが取り組み易いとすればそれは乗り易いけれど柔くない fact16: 仮にこのＳＲＹが漏れ易いとすればあの製造会社は収益事業収入である fact17: 「望み得るということはなくて加えて損金算入するということはない」ものはある fact18: 「ある物が望み得ないしそれにそれは損金算入しないとすれば「このＳＲＹは収益事業収入だ」ということは確かである」ということは真実だ fact19: この製造会社は収益事業収入である fact20: 「その木構造は現われ易い」ということは真実だ fact21: もし仮になにかは収益事業収入でないとすれば「損金算入するということはないけれど望み得る」ということは誤っている fact22: この製造会社は望み得る ; $hypothesis$ = この製造会社は漏れ易い ; $proof$ = 
fact17 & fact18 -> int1: このＳＲＹは収益事業収入だ; int1 & fact13 -> hypothesis; __PROVED__
事実1: とある物は望み得ないがしかし損金算入する
事実2: 「収益事業収入でないし漏れ易くない」ものはある
事実3: 「望み得るということはない」物はある
事実4: なんらかのものは検診でないしさらにプロモーション活動でない
事実5: 「このＳＲＹは取り組み易い」ということは本当だ
事実6: 仮に「望み得るがしかし損金算入するということはない」ものがあるとしたらこのＳＲＹは収益事業収入だ
事実7: もし仮に「何らかの物は損金算入しないがしかしそれは望み得る」ということは事実と異なるとしたら漏れ易くない
事実8: もしも「望み得ないしカラダ全体でない」ものがあるならあのゲイン値はカルビだ
事実9: このＳＲＹは狙い易い
事実10: 「漏れ易くないし収益事業収入でない」物はある
事実11: このＳＲＹは損金算入する
事実12: 「そのブトルファノールは失敗する」ということは確かである
事実13: このＳＲＹが収益事業収入だとしたらこの製造会社は漏れ易い
事実14: もしもなにかは晴れ渡るならそれは収益事業収入だということはない一方で格好悪い
事実15: もしこのＳＲＹが取り組み易いとすればそれは乗り易いけれど柔くない
事実16: 仮にこのＳＲＹが漏れ易いとすればあの製造会社は収益事業収入である
事実17: 「望み得るということはなくて加えて損金算入するということはない」ものはある
事実18: 「ある物が望み得ないしそれにそれは損金算入しないとすれば「このＳＲＹは収益事業収入だ」ということは確かである」ということは真実だ
事実19: この製造会社は収益事業収入である
事実20: 「その木構造は現われ易い」ということは真実だ
事実21: もし仮になにかは収益事業収入でないとすれば「損金算入するということはないけれど望み得る」ということは誤っている
事実22: この製造会社は望み得る

仮説: この製造会社は漏れ易い
1. 事実17と事実18から、推論1: "このＳＲＹは収益事業収入だ"が導かれる
2. 推論1と事実13から、仮説が導かれる

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