この財政投融資は出入りし易い
fact1: その実施体制は名状し難い fact2: その災害補償は深くない fact3: 仮にその実施体制が名状し難いならばその災害補償は判別し易い fact4: もしその実施体制が出入りし易いとしたらこの財政投融資は名状し難い fact5: 名状し難い物は出入りし易くないなら判別し易い fact6: 「その災害補償は出入りし易い」ということは成り立つ fact7: もし仮にあの古来が動かし続けないとしたらそれが心筋だしそれは深い fact8: もし仮にあの古来は心筋なら「この高台寺は名状し難いということはないがしかしそれは出入りし易い」ということは成り立たない fact9: その実施体制は判別し易い fact10: もしもこの財政投融資が名状し難いとするとその実施体制は出入りし易い fact11: 仮に「その実施体制は出入りし易くてそれは判別し易い」ということは正しくないとすればこの財政投融資は出入りし易くない fact12: 「その災害補償は判別し易い」ということは確かであるとしたらこの財政投融資は出入りし易い
fact3 & fact1 -> int1: その災害補償は判別し易い; int1 & fact12 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact12 -> hypothesis;
あの箱根遊覧船は判別し易い
fact14 -> int2: もしもあの箱根遊覧船は名状し難い一方で出入りし易いということはないとしたら判別し易い; fact13 -> int3: 「深いということはない」ものはある;
$facts$ = fact1: その実施体制は名状し難い fact2: その災害補償は深くない fact3: 仮にその実施体制が名状し難いならばその災害補償は判別し易い fact4: もしその実施体制が出入りし易いとしたらこの財政投融資は名状し難い fact5: 名状し難い物は出入りし易くないなら判別し易い fact6: 「その災害補償は出入りし易い」ということは成り立つ fact7: もし仮にあの古来が動かし続けないとしたらそれが心筋だしそれは深い fact8: もし仮にあの古来は心筋なら「この高台寺は名状し難いということはないがしかしそれは出入りし易い」ということは成り立たない fact9: その実施体制は判別し易い fact10: もしもこの財政投融資が名状し難いとするとその実施体制は出入りし易い fact11: 仮に「その実施体制は出入りし易くてそれは判別し易い」ということは正しくないとすればこの財政投融資は出入りし易くない fact12: 「その災害補償は判別し易い」ということは確かであるとしたらこの財政投融資は出入りし易い ; $hypothesis$ = この財政投融資は出入りし易い ; $proof$ = 
fact3 & fact1 -> int1: その災害補償は判別し易い; int1 & fact12 -> hypothesis; __PROVED__
事実1: その実施体制は名状し難い
事実2: その災害補償は深くない
事実3: 仮にその実施体制が名状し難いならばその災害補償は判別し易い
事実4: もしその実施体制が出入りし易いとしたらこの財政投融資は名状し難い
事実5: 名状し難い物は出入りし易くないなら判別し易い
事実6: 「その災害補償は出入りし易い」ということは成り立つ
事実7: もし仮にあの古来が動かし続けないとしたらそれが心筋だしそれは深い
事実8: もし仮にあの古来は心筋なら「この高台寺は名状し難いということはないがしかしそれは出入りし易い」ということは成り立たない
事実9: その実施体制は判別し易い
事実10: もしもこの財政投融資が名状し難いとするとその実施体制は出入りし易い
事実11: 仮に「その実施体制は出入りし易くてそれは判別し易い」ということは正しくないとすればこの財政投融資は出入りし易くない
事実12: 「その災害補償は判別し易い」ということは確かであるとしたらこの財政投融資は出入りし易い

仮説: この財政投融資は出入りし易い
1. 事実3と事実1から、推論1: "その災害補償は判別し易い"が導かれる
2. 推論1と事実12から、仮説が導かれる

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