「「保健医療・介護・福祉サービスであるということはない」ということは正しいとすると聞き易いしまたぼうっとする」物はある
fact1: 仮にそのメタ地域は改組すらないけど着弾するなら聞き易い fact2: もしそのメタ地域は保健医療・介護・福祉サービスならば「それは聞き易くてさらにぼうっとする」ということは事実である fact3: 「もしも保健医療・介護・福祉サービスだとしたら聞き易いし更にぼうっとする」ものはある fact4: あの一次去勢は立ち得る fact5: もし仮に「そのメタ地域は保健医療・介護・福祉サービスでない」ということは成り立つとしたら改組すらない fact6: もしなにかは保健医療・介護・福祉サービスでないとしたらそれは改組すということはないし着弾する fact7: そのメタ地域はファックス用紙でない fact8: 「仮に「保健医療・介護・福祉サービスでない」ということは誤りでないとしたら聞き易い」物はある fact9: この御御さんが立ち得れば憎しし歌舞伎っぽいということはない fact10: 仮にそのメタ地域は保健医療・介護・福祉サービスであるとすればそれは改組すらないけど着弾する fact11: もし仮にそのメタ地域が立ち得るとするとそれはぼうっとするしおまけにそれはファックス用紙でない fact12: そのメタ地域は立ち得る fact13: もしも何らかの物は保健医療・介護・福祉サービスでないならそれは改組すらない
fact6 -> int1: もしそのメタ地域が保健医療・介護・福祉サービスでないとすれば改組すということはないけれど着弾する; void -> assump1: 以下のように仮定する。そのメタ地域は保健医療・介護・福祉サービスでない; int1 & assump1 -> int2: 「そのメタ地域は改組すらないがしかし着弾する」ということは本当だ; int2 & fact1 -> int3: そのメタ地域は聞き易い; fact11 & fact12 -> int4: そのメタ地域はぼうっとする一方でそれはファックス用紙でない; int4 -> int5: そのメタ地域はぼうっとする; int3 & int5 -> int6: そのメタ地域は聞き易くてさらにぼうっとする; [assump1] & int6 -> int7: 「仮にそのメタ地域が保健医療・介護・福祉サービスでないならそのメタ地域は聞き易いしぼうっとする」ということは確かである; int7 -> hypothesis;
$facts$ = fact1: 仮にそのメタ地域は改組すらないけど着弾するなら聞き易い fact2: もしそのメタ地域は保健医療・介護・福祉サービスならば「それは聞き易くてさらにぼうっとする」ということは事実である fact3: 「もしも保健医療・介護・福祉サービスだとしたら聞き易いし更にぼうっとする」ものはある fact4: あの一次去勢は立ち得る fact5: もし仮に「そのメタ地域は保健医療・介護・福祉サービスでない」ということは成り立つとしたら改組すらない fact6: もしなにかは保健医療・介護・福祉サービスでないとしたらそれは改組すということはないし着弾する fact7: そのメタ地域はファックス用紙でない fact8: 「仮に「保健医療・介護・福祉サービスでない」ということは誤りでないとしたら聞き易い」物はある fact9: この御御さんが立ち得れば憎しし歌舞伎っぽいということはない fact10: 仮にそのメタ地域は保健医療・介護・福祉サービスであるとすればそれは改組すらないけど着弾する fact11: もし仮にそのメタ地域が立ち得るとするとそれはぼうっとするしおまけにそれはファックス用紙でない fact12: そのメタ地域は立ち得る fact13: もしも何らかの物は保健医療・介護・福祉サービスでないならそれは改組すらない ; $hypothesis$ = 「「保健医療・介護・福祉サービスであるということはない」ということは正しいとすると聞き易いしまたぼうっとする」物はある ; $proof$ = 
fact6 -> int1: もしそのメタ地域が保健医療・介護・福祉サービスでないとすれば改組すということはないけれど着弾する; void -> assump1: 以下のように仮定する。そのメタ地域は保健医療・介護・福祉サービスでない; int1 & assump1 -> int2: 「そのメタ地域は改組すらないがしかし着弾する」ということは本当だ; int2 & fact1 -> int3: そのメタ地域は聞き易い; fact11 & fact12 -> int4: そのメタ地域はぼうっとする一方でそれはファックス用紙でない; int4 -> int5: そのメタ地域はぼうっとする; int3 & int5 -> int6: そのメタ地域は聞き易くてさらにぼうっとする; [assump1] & int6 -> int7: 「仮にそのメタ地域が保健医療・介護・福祉サービスでないならそのメタ地域は聞き易いしぼうっとする」ということは確かである; int7 -> hypothesis; __PROVED__
事実1: 仮にそのメタ地域は改組すらないけど着弾するなら聞き易い
事実2: もしそのメタ地域は保健医療・介護・福祉サービスならば「それは聞き易くてさらにぼうっとする」ということは事実である
事実3: 「もしも保健医療・介護・福祉サービスだとしたら聞き易いし更にぼうっとする」ものはある
事実4: あの一次去勢は立ち得る
事実5: もし仮に「そのメタ地域は保健医療・介護・福祉サービスでない」ということは成り立つとしたら改組すらない
事実6: もしなにかは保健医療・介護・福祉サービスでないとしたらそれは改組すということはないし着弾する
事実7: そのメタ地域はファックス用紙でない
事実8: 「仮に「保健医療・介護・福祉サービスでない」ということは誤りでないとしたら聞き易い」物はある
事実9: この御御さんが立ち得れば憎しし歌舞伎っぽいということはない
事実10: 仮にそのメタ地域は保健医療・介護・福祉サービスであるとすればそれは改組すらないけど着弾する
事実11: もし仮にそのメタ地域が立ち得るとするとそれはぼうっとするしおまけにそれはファックス用紙でない
事実12: そのメタ地域は立ち得る
事実13: もしも何らかの物は保健医療・介護・福祉サービスでないならそれは改組すらない

仮説: 「「保健医療・介護・福祉サービスであるということはない」ということは正しいとすると聞き易いしまたぼうっとする」物はある
1. 事実6から、推論1: "もしそのメタ地域が保健医療・介護・福祉サービスでないとすれば改組すということはないけれど着弾する"が導かれる
2. 仮定1: 以下のように仮定する。そのメタ地域は保健医療・介護・福祉サービスでない
3. 推論1と仮定1から、推論2: "「そのメタ地域は改組すらないがしかし着弾する」ということは本当だ"が導かれる
4. 推論2と事実1から、推論3: "そのメタ地域は聞き易い"が導かれる
5. 事実11と事実12から、推論4: "そのメタ地域はぼうっとする一方でそれはファックス用紙でない"が導かれる
6. 推論4から、推論5: "そのメタ地域はぼうっとする"が導かれる
7. 推論3と推論5から、推論6: "そのメタ地域は聞き易くてさらにぼうっとする"が導かれる
8. [仮定1]と推論6から、推論7: "「仮にそのメタ地域が保健医療・介護・福祉サービスでないならそのメタ地域は聞き易いしぼうっとする」ということは確かである"が導かれる
9. 推論7から、仮説が導かれる

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