その真ん中辺りは乗り遅れない
fact1: あの原状回復が吹き消すならその真ん中辺りは箇条書きだ fact2: 「川崎製鉄は乗り遅れない」ということは事実である fact3: その真ん中辺りは吹き消す fact4: もしある物が箇条書きであるかまたはそれは川崎製鉄であるかあるいは両方だとすると「それは乗り遅れない」ということは事実である fact5: その真ん中辺りは川崎製鉄であるかそれは吹き消すか両方だ fact6: もし「あの原状回復はオキシミオグロビンでないしそれは歓待するということはない」ということは間違いであるとすれば歓待する fact7: この無神論者は川崎製鉄だ fact8: もし仮になにかは歓待すればそれは川崎製鉄でない fact9: もし仮に何かは短縮するかまたはバスト・トップであるとすれば緊張しない fact10: このドーピングは吹き消す fact11: 「仮にその真ん中辺りが川崎製鉄であるとしたらその真ん中辺りは乗り遅れない」ということは成り立つ fact12: あの原状回復は箇条書きだ fact13: 「あの原状回復は吹き消す」ということは真実である fact14: もし仮になにがしかのものは乗り遅れるかまたは吹き消すかどちらもだとすれば川崎製鉄でない fact15: 「このマス・コミュニケーションは吹き消す」ということは真実である
fact1 & fact13 -> int1: その真ん中辺りは箇条書きだ; int1 -> int2: その真ん中辺りは箇条書きであるか川崎製鉄である; fact4 -> int3: 仮にその真ん中辺りが箇条書きであるかまたはそれは川崎製鉄であるとするとそれは乗り遅れない; int2 & int3 -> hypothesis;
fact1 & fact13 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); fact4 -> int3: ({B}{b} v {C}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
その真ん中辺りは乗り遅れる
fact17 -> int4: もし仮にあの原状回復が歓待するとすると川崎製鉄であるということはない;
$facts$ = fact1: あの原状回復が吹き消すならその真ん中辺りは箇条書きだ fact2: 「川崎製鉄は乗り遅れない」ということは事実である fact3: その真ん中辺りは吹き消す fact4: もしある物が箇条書きであるかまたはそれは川崎製鉄であるかあるいは両方だとすると「それは乗り遅れない」ということは事実である fact5: その真ん中辺りは川崎製鉄であるかそれは吹き消すか両方だ fact6: もし「あの原状回復はオキシミオグロビンでないしそれは歓待するということはない」ということは間違いであるとすれば歓待する fact7: この無神論者は川崎製鉄だ fact8: もし仮になにかは歓待すればそれは川崎製鉄でない fact9: もし仮に何かは短縮するかまたはバスト・トップであるとすれば緊張しない fact10: このドーピングは吹き消す fact11: 「仮にその真ん中辺りが川崎製鉄であるとしたらその真ん中辺りは乗り遅れない」ということは成り立つ fact12: あの原状回復は箇条書きだ fact13: 「あの原状回復は吹き消す」ということは真実である fact14: もし仮になにがしかのものは乗り遅れるかまたは吹き消すかどちらもだとすれば川崎製鉄でない fact15: 「このマス・コミュニケーションは吹き消す」ということは真実である ; $hypothesis$ = その真ん中辺りは乗り遅れない ; $proof$ = 
fact1 & fact13 -> int1: その真ん中辺りは箇条書きだ; int1 -> int2: その真ん中辺りは箇条書きであるか川崎製鉄である; fact4 -> int3: 仮にその真ん中辺りが箇条書きであるかまたはそれは川崎製鉄であるとするとそれは乗り遅れない; int2 & int3 -> hypothesis; __PROVED__
事実1: あの原状回復が吹き消すならその真ん中辺りは箇条書きだ
事実2: 「川崎製鉄は乗り遅れない」ということは事実である
事実3: その真ん中辺りは吹き消す
事実4: もしある物が箇条書きであるかまたはそれは川崎製鉄であるかあるいは両方だとすると「それは乗り遅れない」ということは事実である
事実5: その真ん中辺りは川崎製鉄であるかそれは吹き消すか両方だ
事実6: もし「あの原状回復はオキシミオグロビンでないしそれは歓待するということはない」ということは間違いであるとすれば歓待する
事実7: この無神論者は川崎製鉄だ
事実8: もし仮になにかは歓待すればそれは川崎製鉄でない
事実9: もし仮に何かは短縮するかまたはバスト・トップであるとすれば緊張しない
事実10: このドーピングは吹き消す
事実11: 「仮にその真ん中辺りが川崎製鉄であるとしたらその真ん中辺りは乗り遅れない」ということは成り立つ
事実12: あの原状回復は箇条書きだ
事実13: 「あの原状回復は吹き消す」ということは真実である
事実14: もし仮になにがしかのものは乗り遅れるかまたは吹き消すかどちらもだとすれば川崎製鉄でない
事実15: 「このマス・コミュニケーションは吹き消す」ということは真実である

仮説: その真ん中辺りは乗り遅れない
1. 事実1と事実13から、推論1: "その真ん中辺りは箇条書きだ"が導かれる
2. 推論1から、推論2: "その真ん中辺りは箇条書きであるか川崎製鉄である"が導かれる
3. 事実4から、推論3: "仮にその真ん中辺りが箇条書きであるかまたはそれは川崎製鉄であるとするとそれは乗り遅れない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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