その進行形は都市近郊産地である
fact1: その高年齢層はＤＴＰだけれど水っぽいということはない fact2: その鉱山鉄道は水っぽいが日焼けしない fact3: もし仮にとある物がＤＴＰでないとすればそれは人懐こくないしかつ都市近郊産地でない fact4: もし仮にそのブトルファノールが水っぽい一方でサービス経営でないとするとその高年齢層はＤＴＰだ fact5: もし仮に「そのブトルファノールは中胚葉でない」ということは真実であるとしたら「その進行形は飲料用でないしその上それは子供っぽくない」ということは事実と異なる fact6: あるものは人懐こい fact7: その高年齢層はＤＴＰであるがしかし都市近郊産地でない fact8: もしも「そのブトルファノールは公算だし中胚葉である」ということは偽であるならば中胚葉でない fact9: 「水っぽくない」物はある fact10: 仮に「ＤＴＰでない」ものがあればその高年齢層はサービス経営であるが水っぽくない fact11: もし「その進行形は飲料用でなくておまけにそれは子供っぽくない」ということは成り立たないとすると人懐こくない fact12: 人懐こいということはないものはある fact13: その高年齢層はＤＴＰである fact14: もしその高年齢層が水っぽいならそのブトルファノールはサービス経営である fact15: もし仮に「人懐こいということはない」ものがあるならその高年齢層はＤＴＰだ fact16: もし仮にそのブトルファノールが水っぽいとしたらその進行形は都市近郊産地だ fact17: もしも「そのブトルファノールはサービス経営だ」ということは成り立てばその高年齢層は水っぽい fact18: あるものはサービス経営であるということはない fact19: もしもその高年齢層はＤＴＰだ一方でサービス経営でないなら「そのブトルファノールは水っぽい」ということは本当である fact20: もし「人懐こくない」ものがあればその高年齢層はＤＴＰであるけどサービス経営であるということはない fact21: あの推定的意思は上げ易い一方で帰路でない fact22: 仮にその進行形が水っぽいけれどそれは都市近郊産地でないとすれば「そのブトルファノールはサービス経営である」ということは成り立つ fact23: その進行形が人懐こくないしそれにそれはＤＴＰでないならば都市近郊産地でない fact24: もしもその高年齢層がサービス経営だがしかし水っぽくないとすればあのブトルファノールはＤＴＰである
fact12 & fact20 -> int1: その高年齢層はＤＴＰであるけどサービス経営だということはない; int1 & fact19 -> int2: そのブトルファノールは水っぽい; int2 & fact16 -> hypothesis;
fact12 & fact20 -> int1: ({B}{a} & ¬{C}{a}); int1 & fact19 -> int2: {D}{b}; int2 & fact16 -> hypothesis;
「その進行形は都市近郊産地でない」ということは本当である
$facts$ = fact1: その高年齢層はＤＴＰだけれど水っぽいということはない fact2: その鉱山鉄道は水っぽいが日焼けしない fact3: もし仮にとある物がＤＴＰでないとすればそれは人懐こくないしかつ都市近郊産地でない fact4: もし仮にそのブトルファノールが水っぽい一方でサービス経営でないとするとその高年齢層はＤＴＰだ fact5: もし仮に「そのブトルファノールは中胚葉でない」ということは真実であるとしたら「その進行形は飲料用でないしその上それは子供っぽくない」ということは事実と異なる fact6: あるものは人懐こい fact7: その高年齢層はＤＴＰであるがしかし都市近郊産地でない fact8: もしも「そのブトルファノールは公算だし中胚葉である」ということは偽であるならば中胚葉でない fact9: 「水っぽくない」物はある fact10: 仮に「ＤＴＰでない」ものがあればその高年齢層はサービス経営であるが水っぽくない fact11: もし「その進行形は飲料用でなくておまけにそれは子供っぽくない」ということは成り立たないとすると人懐こくない fact12: 人懐こいということはないものはある fact13: その高年齢層はＤＴＰである fact14: もしその高年齢層が水っぽいならそのブトルファノールはサービス経営である fact15: もし仮に「人懐こいということはない」ものがあるならその高年齢層はＤＴＰだ fact16: もし仮にそのブトルファノールが水っぽいとしたらその進行形は都市近郊産地だ fact17: もしも「そのブトルファノールはサービス経営だ」ということは成り立てばその高年齢層は水っぽい fact18: あるものはサービス経営であるということはない fact19: もしもその高年齢層はＤＴＰだ一方でサービス経営でないなら「そのブトルファノールは水っぽい」ということは本当である fact20: もし「人懐こくない」ものがあればその高年齢層はＤＴＰであるけどサービス経営であるということはない fact21: あの推定的意思は上げ易い一方で帰路でない fact22: 仮にその進行形が水っぽいけれどそれは都市近郊産地でないとすれば「そのブトルファノールはサービス経営である」ということは成り立つ fact23: その進行形が人懐こくないしそれにそれはＤＴＰでないならば都市近郊産地でない fact24: もしもその高年齢層がサービス経営だがしかし水っぽくないとすればあのブトルファノールはＤＴＰである ; $hypothesis$ = その進行形は都市近郊産地である ; $proof$ = 
fact12 & fact20 -> int1: その高年齢層はＤＴＰであるけどサービス経営だということはない; int1 & fact19 -> int2: そのブトルファノールは水っぽい; int2 & fact16 -> hypothesis; __PROVED__
事実1: その高年齢層はＤＴＰだけれど水っぽいということはない
事実2: その鉱山鉄道は水っぽいが日焼けしない
事実3: もし仮にとある物がＤＴＰでないとすればそれは人懐こくないしかつ都市近郊産地でない
事実4: もし仮にそのブトルファノールが水っぽい一方でサービス経営でないとするとその高年齢層はＤＴＰだ
事実5: もし仮に「そのブトルファノールは中胚葉でない」ということは真実であるとしたら「その進行形は飲料用でないしその上それは子供っぽくない」ということは事実と異なる
事実6: あるものは人懐こい
事実7: その高年齢層はＤＴＰであるがしかし都市近郊産地でない
事実8: もしも「そのブトルファノールは公算だし中胚葉である」ということは偽であるならば中胚葉でない
事実9: 「水っぽくない」物はある
事実10: 仮に「ＤＴＰでない」ものがあればその高年齢層はサービス経営であるが水っぽくない
事実11: もし「その進行形は飲料用でなくておまけにそれは子供っぽくない」ということは成り立たないとすると人懐こくない
事実12: 人懐こいということはないものはある
事実13: その高年齢層はＤＴＰである
事実14: もしその高年齢層が水っぽいならそのブトルファノールはサービス経営である
事実15: もし仮に「人懐こいということはない」ものがあるならその高年齢層はＤＴＰだ
事実16: もし仮にそのブトルファノールが水っぽいとしたらその進行形は都市近郊産地だ
事実17: もしも「そのブトルファノールはサービス経営だ」ということは成り立てばその高年齢層は水っぽい
事実18: あるものはサービス経営であるということはない
事実19: もしもその高年齢層はＤＴＰだ一方でサービス経営でないなら「そのブトルファノールは水っぽい」ということは本当である
事実20: もし「人懐こくない」ものがあればその高年齢層はＤＴＰであるけどサービス経営であるということはない
事実21: あの推定的意思は上げ易い一方で帰路でない
事実22: 仮にその進行形が水っぽいけれどそれは都市近郊産地でないとすれば「そのブトルファノールはサービス経営である」ということは成り立つ
事実23: その進行形が人懐こくないしそれにそれはＤＴＰでないならば都市近郊産地でない
事実24: もしもその高年齢層がサービス経営だがしかし水っぽくないとすればあのブトルファノールはＤＴＰである

仮説: その進行形は都市近郊産地である
1. 事実12と事実20から、推論1: "その高年齢層はＤＴＰであるけどサービス経営だということはない"が導かれる
2. 推論1と事実19から、推論2: "そのブトルファノールは水っぽい"が導かれる
3. 推論2と事実16から、仮説が導かれる

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