「その旧市街地は清しし胸苦しい」ということは間違っている
fact1: 「あの推理はＰ．だ」ということは事実である fact2: もし仮にこの医が清しないとすれば胸苦しいしさらにひもじい fact3: この医は始まるがしかしそれはうら若いということはない fact4: この医はひもじい fact5: 「「「その旧市街地は妻すらないがしかしひもじい」ということは真実だ」ということは成り立たない」ということは成り立つ fact6: もし「「妻すということはないが昇進する」ということは成り立たない」ものはあるとすると「その正月吉日は昇進しない」ということは確かである fact7: 仮にこの医が人懐っこいならばそれは十年債である fact8: もしもなんらかのものは胸苦しいとしたら「それは妻すということはないけれど昇進する」ということは間違っている fact9: もしもその実質面が昇進しないとしたらあの路上駐車は胸苦しくない fact10: この医は十年債であるしＰ．なら昇進しない fact11: もし仮に「その旧市街地は妻すらないがひもじい」ということは成り立たないならば十年債でない fact12: この医が昇進しないならばあの実質面は妻すらない fact13: その実質面は妻すらない fact14: もし仮にあの路上駐車は胸苦しくないとすれば「その旧市街地は清しし更にそれは胸苦しい」ということは成り立たない fact15: 仮にある物は昇進しないならば「十年債であるがしかしＰ．であるということはない」ということは誤りだ fact16: この医は人懐っこい fact17: この医はひもじくてそれにＰ．である fact18: もしこの医が昇進しないならその実質面は昇進しなくてそれに妻すらない fact19: 「この医は始まるがしかしうら若くない」ということは真実であるとすると「清しない」ということは本当である
fact7 & fact16 -> int1: この医は十年債だ; fact17 -> int2: この医はＰ．だ; int1 & int2 -> int3: この医は十年債であるし加えてＰ．だ; int3 & fact10 -> int4: この医は昇進するということはない; int4 & fact18 -> int5: その実質面は昇進しなくてその上妻すということはない; int5 -> int6: その実質面は昇進しない; int6 & fact9 -> int7: あの路上駐車は胸苦しくない; int7 & fact14 -> hypothesis;
その旧市街地は清しし加えて胸苦しい
fact21 & fact20 -> int8: 「その旧市街地は十年債であるということはない」ということは真実だ;
$facts$ = fact1: 「あの推理はＰ．だ」ということは事実である fact2: もし仮にこの医が清しないとすれば胸苦しいしさらにひもじい fact3: この医は始まるがしかしそれはうら若いということはない fact4: この医はひもじい fact5: 「「「その旧市街地は妻すらないがしかしひもじい」ということは真実だ」ということは成り立たない」ということは成り立つ fact6: もし「「妻すということはないが昇進する」ということは成り立たない」ものはあるとすると「その正月吉日は昇進しない」ということは確かである fact7: 仮にこの医が人懐っこいならばそれは十年債である fact8: もしもなんらかのものは胸苦しいとしたら「それは妻すということはないけれど昇進する」ということは間違っている fact9: もしもその実質面が昇進しないとしたらあの路上駐車は胸苦しくない fact10: この医は十年債であるしＰ．なら昇進しない fact11: もし仮に「その旧市街地は妻すらないがひもじい」ということは成り立たないならば十年債でない fact12: この医が昇進しないならばあの実質面は妻すらない fact13: その実質面は妻すらない fact14: もし仮にあの路上駐車は胸苦しくないとすれば「その旧市街地は清しし更にそれは胸苦しい」ということは成り立たない fact15: 仮にある物は昇進しないならば「十年債であるがしかしＰ．であるということはない」ということは誤りだ fact16: この医は人懐っこい fact17: この医はひもじくてそれにＰ．である fact18: もしこの医が昇進しないならその実質面は昇進しなくてそれに妻すらない fact19: 「この医は始まるがしかしうら若くない」ということは真実であるとすると「清しない」ということは本当である ; $hypothesis$ = 「その旧市街地は清しし胸苦しい」ということは間違っている ; $proof$ = 
fact7 & fact16 -> int1: この医は十年債だ; fact17 -> int2: この医はＰ．だ; int1 & int2 -> int3: この医は十年債であるし加えてＰ．だ; int3 & fact10 -> int4: この医は昇進するということはない; int4 & fact18 -> int5: その実質面は昇進しなくてその上妻すということはない; int5 -> int6: その実質面は昇進しない; int6 & fact9 -> int7: あの路上駐車は胸苦しくない; int7 & fact14 -> hypothesis; __PROVED__
事実1: 「あの推理はＰ．だ」ということは事実である
事実2: もし仮にこの医が清しないとすれば胸苦しいしさらにひもじい
事実3: この医は始まるがしかしそれはうら若いということはない
事実4: この医はひもじい
事実5: 「「「その旧市街地は妻すらないがしかしひもじい」ということは真実だ」ということは成り立たない」ということは成り立つ
事実6: もし「「妻すということはないが昇進する」ということは成り立たない」ものはあるとすると「その正月吉日は昇進しない」ということは確かである
事実7: 仮にこの医が人懐っこいならばそれは十年債である
事実8: もしもなんらかのものは胸苦しいとしたら「それは妻すということはないけれど昇進する」ということは間違っている
事実9: もしもその実質面が昇進しないとしたらあの路上駐車は胸苦しくない
事実10: この医は十年債であるしＰ．なら昇進しない
事実11: もし仮に「その旧市街地は妻すらないがひもじい」ということは成り立たないならば十年債でない
事実12: この医が昇進しないならばあの実質面は妻すらない
事実13: その実質面は妻すらない
事実14: もし仮にあの路上駐車は胸苦しくないとすれば「その旧市街地は清しし更にそれは胸苦しい」ということは成り立たない
事実15: 仮にある物は昇進しないならば「十年債であるがしかしＰ．であるということはない」ということは誤りだ
事実16: この医は人懐っこい
事実17: この医はひもじくてそれにＰ．である
事実18: もしこの医が昇進しないならその実質面は昇進しなくてそれに妻すらない
事実19: 「この医は始まるがしかしうら若くない」ということは真実であるとすると「清しない」ということは本当である

仮説: 「その旧市街地は清しし胸苦しい」ということは間違っている
1. 事実7と事実16から、推論1: "この医は十年債だ"が導かれる
2. 事実17から、推論2: "この医はＰ．だ"が導かれる
3. 推論1と推論2から、推論3: "この医は十年債であるし加えてＰ．だ"が導かれる
4. 推論3と事実10から、推論4: "この医は昇進するということはない"が導かれる
5. 推論4と事実18から、推論5: "その実質面は昇進しなくてその上妻すということはない"が導かれる
6. 推論5から、推論6: "その実質面は昇進しない"が導かれる
7. 推論6と事実9から、推論7: "あの路上駐車は胸苦しくない"が導かれる
8. 推論7と事実14から、仮説が導かれる

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