あのエクスポーズ製は東京大学出版会でない
fact1: あのＰＨＰコードが屈むかまたは危うくないかまたは両方ともであるとしたらあのエクスポーズ製は東京大学出版会でない fact2: 「仮にその移動速度が分かり難くないが内皮細胞であるとしたらあのＰＨＰコードは危うくない」ということは成り立つ fact3: 仮に「その移動速度は暴力行為でない」ということは成り立つとすれば「回るしそれにそれはディファレンシャルディスプレー法でない」ということは成り立つということはない fact4: もしなにかは回るということはないとすればそれは危うくて過ごし易い fact5: もし「その移動速度は回るがディファレンシャルディスプレー法であるということはない」ということは誤っているとすれば回らない fact6: その移動速度は分かり難くないがそれは内皮細胞だ
fact2 & fact6 -> int1: あのＰＨＰコードは危うくない; int1 -> int2: あのＰＨＰコードは屈むかあるいは危うくないかもしくは両方である; int2 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ¬{B}{b}; int1 -> int2: ({A}{b} v ¬{B}{b}); int2 & fact1 -> hypothesis;
あのエクスポーズ製は東京大学出版会である
fact8 -> int3: もしもその移動速度が回らないとしたら危うくてそれは過ごし易い;
$facts$ = fact1: あのＰＨＰコードが屈むかまたは危うくないかまたは両方ともであるとしたらあのエクスポーズ製は東京大学出版会でない fact2: 「仮にその移動速度が分かり難くないが内皮細胞であるとしたらあのＰＨＰコードは危うくない」ということは成り立つ fact3: 仮に「その移動速度は暴力行為でない」ということは成り立つとすれば「回るしそれにそれはディファレンシャルディスプレー法でない」ということは成り立つということはない fact4: もしなにかは回るということはないとすればそれは危うくて過ごし易い fact5: もし「その移動速度は回るがディファレンシャルディスプレー法であるということはない」ということは誤っているとすれば回らない fact6: その移動速度は分かり難くないがそれは内皮細胞だ ; $hypothesis$ = あのエクスポーズ製は東京大学出版会でない ; $proof$ = 
fact2 & fact6 -> int1: あのＰＨＰコードは危うくない; int1 -> int2: あのＰＨＰコードは屈むかあるいは危うくないかもしくは両方である; int2 & fact1 -> hypothesis; __PROVED__
事実1: あのＰＨＰコードが屈むかまたは危うくないかまたは両方ともであるとしたらあのエクスポーズ製は東京大学出版会でない
事実2: 「仮にその移動速度が分かり難くないが内皮細胞であるとしたらあのＰＨＰコードは危うくない」ということは成り立つ
事実3: 仮に「その移動速度は暴力行為でない」ということは成り立つとすれば「回るしそれにそれはディファレンシャルディスプレー法でない」ということは成り立つということはない
事実4: もしなにかは回るということはないとすればそれは危うくて過ごし易い
事実5: もし「その移動速度は回るがディファレンシャルディスプレー法であるということはない」ということは誤っているとすれば回らない
事実6: その移動速度は分かり難くないがそれは内皮細胞だ

仮説: あのエクスポーズ製は東京大学出版会でない
1. 事実2と事実6から、推論1: "あのＰＨＰコードは危うくない"が導かれる
2. 推論1から、推論2: "あのＰＨＰコードは屈むかあるいは危うくないかもしくは両方である"が導かれる
3. 推論2と事実1から、仮説が導かれる

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