その大型店舗は行き易い
fact1: この資本構成は行き易くない fact2: 観光旅行は火葬場である fact3: もしもなにかは嫌気性菌であるがしかし戻し易くないとするとその総株主通知は観光旅行である fact4: 「あの十戒は転載するということはない」ということは成り立つ fact5: もしあの十戒は転載しないなら「この住宅政策は嫌気性菌だ一方で戻し易くない」ということは事実である fact6: 仮にその総株主通知は火葬場だとすると「この資本構成は一安心するけれど火葬場でない」ということは成り立たない fact7: 「この資本構成は一安心するし火葬場だ」ということは偽だ fact8: 「この資本構成は一安心する一方で火葬場だということはない」ということは事実と異なればその大型店舗は行き易い fact9: もしもその総株主通知は火葬場なら「この資本構成は一安心するし加えて火葬場である」ということは事実と異なる
fact5 & fact4 -> int1: この住宅政策が嫌気性菌だけど戻し易いということはない; int1 -> int2: 戻し易くない嫌気性菌はある; int2 & fact3 -> int3: その総株主通知は観光旅行である; fact2 -> int4: もし仮にその総株主通知は観光旅行であるならばそれは火葬場だ; int3 & int4 -> int5: 「その総株主通知は火葬場である」ということは嘘でない; int5 & fact6 -> int6: 「この資本構成は一安心するけれど火葬場でない」ということは事実と異なる; int6 & fact8 -> hypothesis;
あの十戒は火葬場だ
fact10 -> int7: 「行き易くない」ものはある;
$facts$ = fact1: この資本構成は行き易くない fact2: 観光旅行は火葬場である fact3: もしもなにかは嫌気性菌であるがしかし戻し易くないとするとその総株主通知は観光旅行である fact4: 「あの十戒は転載するということはない」ということは成り立つ fact5: もしあの十戒は転載しないなら「この住宅政策は嫌気性菌だ一方で戻し易くない」ということは事実である fact6: 仮にその総株主通知は火葬場だとすると「この資本構成は一安心するけれど火葬場でない」ということは成り立たない fact7: 「この資本構成は一安心するし火葬場だ」ということは偽だ fact8: 「この資本構成は一安心する一方で火葬場だということはない」ということは事実と異なればその大型店舗は行き易い fact9: もしもその総株主通知は火葬場なら「この資本構成は一安心するし加えて火葬場である」ということは事実と異なる ; $hypothesis$ = その大型店舗は行き易い ; $proof$ = 
fact5 & fact4 -> int1: この住宅政策が嫌気性菌だけど戻し易いということはない; int1 -> int2: 戻し易くない嫌気性菌はある; int2 & fact3 -> int3: その総株主通知は観光旅行である; fact2 -> int4: もし仮にその総株主通知は観光旅行であるならばそれは火葬場だ; int3 & int4 -> int5: 「その総株主通知は火葬場である」ということは嘘でない; int5 & fact6 -> int6: 「この資本構成は一安心するけれど火葬場でない」ということは事実と異なる; int6 & fact8 -> hypothesis; __PROVED__
事実1: この資本構成は行き易くない
事実2: 観光旅行は火葬場である
事実3: もしもなにかは嫌気性菌であるがしかし戻し易くないとするとその総株主通知は観光旅行である
事実4: 「あの十戒は転載するということはない」ということは成り立つ
事実5: もしあの十戒は転載しないなら「この住宅政策は嫌気性菌だ一方で戻し易くない」ということは事実である
事実6: 仮にその総株主通知は火葬場だとすると「この資本構成は一安心するけれど火葬場でない」ということは成り立たない
事実7: 「この資本構成は一安心するし火葬場だ」ということは偽だ
事実8: 「この資本構成は一安心する一方で火葬場だということはない」ということは事実と異なればその大型店舗は行き易い
事実9: もしもその総株主通知は火葬場なら「この資本構成は一安心するし加えて火葬場である」ということは事実と異なる

仮説: その大型店舗は行き易い
1. 事実5と事実4から、推論1: "この住宅政策が嫌気性菌だけど戻し易いということはない"が導かれる
2. 推論1から、推論2: "戻し易くない嫌気性菌はある"が導かれる
3. 推論2と事実3から、推論3: "その総株主通知は観光旅行である"が導かれる
4. 事実2から、推論4: "もし仮にその総株主通知は観光旅行であるならばそれは火葬場だ"が導かれる
5. 推論3と推論4から、推論5: "「その総株主通知は火葬場である」ということは嘘でない"が導かれる
6. 推論5と事実6から、推論6: "「この資本構成は一安心するけれど火葬場でない」ということは事実と異なる"が導かれる
7. 推論6と事実8から、仮説が導かれる

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