この細胞相互は地域統括会社でない
fact1: この英国内は消滅原因でない fact2: もしもなにがしかのものが一般問題だとしたら地域統括会社である fact3: 「「その下座は消滅原因だがしかし薄青くない」ということは成り立たない」ということは正しい fact4: もしあのビデオファイルは薄青くないならば「その下座は爪先である」ということは嘘でない fact5: もし仮にこの英国内が一般問題でないとするとあのビデオファイルは口封じである fact6: この英国内は一般問題でない fact7: 仮に「その下座は消滅原因であるけど薄青くない」ということは間違っているとしたら「あのビデオファイルは爪先でない」ということは成り立つ fact8: この細胞相互は薄青い fact9: もしあのビデオファイルが口封じだ一方でそれが爪先でないとすればあの細胞相互は地域統括会社であるということはない
fact5 & fact6 -> int1: あのビデオファイルは口封じだ; fact3 & fact7 -> int2: 「あのビデオファイルは爪先でない」ということは確かだ; int1 & int2 -> int3: あのビデオファイルは口封じだが爪先でない; int3 & fact9 -> hypothesis;
この細胞相互は地域統括会社だ
fact10 -> int4: この細胞相互が一般問題なら地域統括会社だ;
$facts$ = fact1: この英国内は消滅原因でない fact2: もしもなにがしかのものが一般問題だとしたら地域統括会社である fact3: 「「その下座は消滅原因だがしかし薄青くない」ということは成り立たない」ということは正しい fact4: もしあのビデオファイルは薄青くないならば「その下座は爪先である」ということは嘘でない fact5: もし仮にこの英国内が一般問題でないとするとあのビデオファイルは口封じである fact6: この英国内は一般問題でない fact7: 仮に「その下座は消滅原因であるけど薄青くない」ということは間違っているとしたら「あのビデオファイルは爪先でない」ということは成り立つ fact8: この細胞相互は薄青い fact9: もしあのビデオファイルが口封じだ一方でそれが爪先でないとすればあの細胞相互は地域統括会社であるということはない ; $hypothesis$ = この細胞相互は地域統括会社でない ; $proof$ = 
fact5 & fact6 -> int1: あのビデオファイルは口封じだ; fact3 & fact7 -> int2: 「あのビデオファイルは爪先でない」ということは確かだ; int1 & int2 -> int3: あのビデオファイルは口封じだが爪先でない; int3 & fact9 -> hypothesis; __PROVED__
事実1: この英国内は消滅原因でない
事実2: もしもなにがしかのものが一般問題だとしたら地域統括会社である
事実3: 「「その下座は消滅原因だがしかし薄青くない」ということは成り立たない」ということは正しい
事実4: もしあのビデオファイルは薄青くないならば「その下座は爪先である」ということは嘘でない
事実5: もし仮にこの英国内が一般問題でないとするとあのビデオファイルは口封じである
事実6: この英国内は一般問題でない
事実7: 仮に「その下座は消滅原因であるけど薄青くない」ということは間違っているとしたら「あのビデオファイルは爪先でない」ということは成り立つ
事実8: この細胞相互は薄青い
事実9: もしあのビデオファイルが口封じだ一方でそれが爪先でないとすればあの細胞相互は地域統括会社であるということはない

仮説: この細胞相互は地域統括会社でない
1. 事実5と事実6から、推論1: "あのビデオファイルは口封じだ"が導かれる
2. 事実3と事実7から、推論2: "「あのビデオファイルは爪先でない」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "あのビデオファイルは口封じだが爪先でない"が導かれる
4. 推論3と事実9から、仮説が導かれる

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