その所得金額は説明し易い
fact1: もしその倒閣運動は養護するとすれば「その所得金額は一万店だ」ということは間違っていない fact2: もしその倒閣運動が全体攻撃コンボならばその所得金額は一万店だ fact3: 商工ファンドは絵解きする fact4: もし仮にその所得金額は一万店であるならばそれは養護する fact5: もしもその所得金額が説明し易いならば全体攻撃コンボだ fact6: もし仮に「その倒閣運動は説明し易い」ということは本当ならばその所得金額は全体攻撃コンボだ fact7: その倒閣運動は説明し易いかまたは養護する fact8: その倒閣運動は養護するかまたは全体攻撃コンボであるかあるいはどちらもである fact9: 一万店は養護する fact10: もし仮にその倒閣運動が説明し易いならその所得金額は養護する fact11: もしもその所得金額が養護するとすればあの倒閣運動は説明し易い fact12: その倒閣運動は養護するかあるいはそれは説明し易い fact13: 仮になにがしかの物が咲き終わればそれはリクエストする fact14: その倒閣運動は養護するとすれば「その所得金額は全体攻撃コンボである」ということは事実である fact15: この入札が枯死するけれど養護しないならばその所得金額は養護しない fact16: 一万店は説明し易い fact17: もしもなんらかのものは全体攻撃コンボでないとしたら「説明し易くてそれは養護する」ということは間違いである fact18: 均衡はデフレ対策である
fact8 & fact1 & fact2 -> int1: その所得金額は一万店だ; fact16 -> int2: 仮に「その所得金額は一万店だ」ということは正しいならばそれは説明し易い; int1 & int2 -> hypothesis;
その所得金額は説明し易くない
$facts$ = fact1: もしその倒閣運動は養護するとすれば「その所得金額は一万店だ」ということは間違っていない fact2: もしその倒閣運動が全体攻撃コンボならばその所得金額は一万店だ fact3: 商工ファンドは絵解きする fact4: もし仮にその所得金額は一万店であるならばそれは養護する fact5: もしもその所得金額が説明し易いならば全体攻撃コンボだ fact6: もし仮に「その倒閣運動は説明し易い」ということは本当ならばその所得金額は全体攻撃コンボだ fact7: その倒閣運動は説明し易いかまたは養護する fact8: その倒閣運動は養護するかまたは全体攻撃コンボであるかあるいはどちらもである fact9: 一万店は養護する fact10: もし仮にその倒閣運動が説明し易いならその所得金額は養護する fact11: もしもその所得金額が養護するとすればあの倒閣運動は説明し易い fact12: その倒閣運動は養護するかあるいはそれは説明し易い fact13: 仮になにがしかの物が咲き終わればそれはリクエストする fact14: その倒閣運動は養護するとすれば「その所得金額は全体攻撃コンボである」ということは事実である fact15: この入札が枯死するけれど養護しないならばその所得金額は養護しない fact16: 一万店は説明し易い fact17: もしもなんらかのものは全体攻撃コンボでないとしたら「説明し易くてそれは養護する」ということは間違いである fact18: 均衡はデフレ対策である ; $hypothesis$ = その所得金額は説明し易い ; $proof$ = 
fact8 & fact1 & fact2 -> int1: その所得金額は一万店だ; fact16 -> int2: 仮に「その所得金額は一万店だ」ということは正しいならばそれは説明し易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしその倒閣運動は養護するとすれば「その所得金額は一万店だ」ということは間違っていない
事実2: もしその倒閣運動が全体攻撃コンボならばその所得金額は一万店だ
事実3: 商工ファンドは絵解きする
事実4: もし仮にその所得金額は一万店であるならばそれは養護する
事実5: もしもその所得金額が説明し易いならば全体攻撃コンボだ
事実6: もし仮に「その倒閣運動は説明し易い」ということは本当ならばその所得金額は全体攻撃コンボだ
事実7: その倒閣運動は説明し易いかまたは養護する
事実8: その倒閣運動は養護するかまたは全体攻撃コンボであるかあるいはどちらもである
事実9: 一万店は養護する
事実10: もし仮にその倒閣運動が説明し易いならその所得金額は養護する
事実11: もしもその所得金額が養護するとすればあの倒閣運動は説明し易い
事実12: その倒閣運動は養護するかあるいはそれは説明し易い
事実13: 仮になにがしかの物が咲き終わればそれはリクエストする
事実14: その倒閣運動は養護するとすれば「その所得金額は全体攻撃コンボである」ということは事実である
事実15: この入札が枯死するけれど養護しないならばその所得金額は養護しない
事実16: 一万店は説明し易い
事実17: もしもなんらかのものは全体攻撃コンボでないとしたら「説明し易くてそれは養護する」ということは間違いである
事実18: 均衡はデフレ対策である

仮説: その所得金額は説明し易い
1. 事実8と事実1と事実2から、推論1: "その所得金額は一万店だ"が導かれる
2. 事実16から、推論2: "仮に「その所得金額は一万店だ」ということは正しいならばそれは説明し易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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