その汚染度は銀行家である
fact1: もしそのコンピュータ利用は御し易いとすれば「その資産家は銀行家だ一方でデジすということはない」ということは成り立たない fact2: もし仮にそのコンピュータ利用がデジすらないならばあの資産家は拡大再生産しなくて更にそれは食べ為さらない fact3: その汚染度は証明する fact4: 「その資産家はデジす」ということは事実である fact5: もし仮にその汚染度が拡大再生産するなら食べ為さらないかまたはデジすか両方だ fact6: 「その汚染度は若し一方でそれは拡大再生産しない」ということは成り立たないとすれば「拡大再生産する」ということは成り立つ fact7: あの成膜は証明する fact8: 「もし仮にその汚染度がデジすとするとその汚染度は証明する」ということは確かだ fact9: もしもなにがしかのものがデジすれば銀行家である fact10: もしなんらかのものが食べ為さるとすると拡大再生産する fact11: あの興亜はデジす fact12: もし仮にその資産家がデジすとすればあの汚染度は証明する fact13: その資産家は証明する fact14: もし仮にその資産家は証明するとすると「それは食べ為さる」ということは確かだ fact15: もし仮にその資産家が拡大再生産するならその汚染度はデジす
fact14 & fact13 -> int1: その資産家は食べ為さる; fact10 -> int2: その資産家が食べ為さるとすればそれは拡大再生産する; int1 & int2 -> int3: その資産家は拡大再生産する; int3 & fact15 -> int4: その汚染度はデジす; fact9 -> int5: その汚染度がデジすとすれば銀行家だ; int4 & int5 -> hypothesis;
その汚染度は拡大再生産する
$facts$ = fact1: もしそのコンピュータ利用は御し易いとすれば「その資産家は銀行家だ一方でデジすということはない」ということは成り立たない fact2: もし仮にそのコンピュータ利用がデジすらないならばあの資産家は拡大再生産しなくて更にそれは食べ為さらない fact3: その汚染度は証明する fact4: 「その資産家はデジす」ということは事実である fact5: もし仮にその汚染度が拡大再生産するなら食べ為さらないかまたはデジすか両方だ fact6: 「その汚染度は若し一方でそれは拡大再生産しない」ということは成り立たないとすれば「拡大再生産する」ということは成り立つ fact7: あの成膜は証明する fact8: 「もし仮にその汚染度がデジすとするとその汚染度は証明する」ということは確かだ fact9: もしもなにがしかのものがデジすれば銀行家である fact10: もしなんらかのものが食べ為さるとすると拡大再生産する fact11: あの興亜はデジす fact12: もし仮にその資産家がデジすとすればあの汚染度は証明する fact13: その資産家は証明する fact14: もし仮にその資産家は証明するとすると「それは食べ為さる」ということは確かだ fact15: もし仮にその資産家が拡大再生産するならその汚染度はデジす ; $hypothesis$ = その汚染度は銀行家である ; $proof$ = 
fact14 & fact13 -> int1: その資産家は食べ為さる; fact10 -> int2: その資産家が食べ為さるとすればそれは拡大再生産する; int1 & int2 -> int3: その資産家は拡大再生産する; int3 & fact15 -> int4: その汚染度はデジす; fact9 -> int5: その汚染度がデジすとすれば銀行家だ; int4 & int5 -> hypothesis; __PROVED__
事実1: もしそのコンピュータ利用は御し易いとすれば「その資産家は銀行家だ一方でデジすということはない」ということは成り立たない
事実2: もし仮にそのコンピュータ利用がデジすらないならばあの資産家は拡大再生産しなくて更にそれは食べ為さらない
事実3: その汚染度は証明する
事実4: 「その資産家はデジす」ということは事実である
事実5: もし仮にその汚染度が拡大再生産するなら食べ為さらないかまたはデジすか両方だ
事実6: 「その汚染度は若し一方でそれは拡大再生産しない」ということは成り立たないとすれば「拡大再生産する」ということは成り立つ
事実7: あの成膜は証明する
事実8: 「もし仮にその汚染度がデジすとするとその汚染度は証明する」ということは確かだ
事実9: もしもなにがしかのものがデジすれば銀行家である
事実10: もしなんらかのものが食べ為さるとすると拡大再生産する
事実11: あの興亜はデジす
事実12: もし仮にその資産家がデジすとすればあの汚染度は証明する
事実13: その資産家は証明する
事実14: もし仮にその資産家は証明するとすると「それは食べ為さる」ということは確かだ
事実15: もし仮にその資産家が拡大再生産するならその汚染度はデジす

仮説: その汚染度は銀行家である
1. 事実14と事実13から、推論1: "その資産家は食べ為さる"が導かれる
2. 事実10から、推論2: "その資産家が食べ為さるとすればそれは拡大再生産する"が導かれる
3. 推論1と推論2から、推論3: "その資産家は拡大再生産する"が導かれる
4. 推論3と事実15から、推論4: "その汚染度はデジす"が導かれる
5. 事実9から、推論5: "その汚染度がデジすとすれば銀行家だ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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