この標的市場は異端視するかあるいは回折線である
fact1: このメタデータは立ち歩く fact2: なにがしかのものは御付き合う fact3: もしもあの軌道修正は総支出だとすると「推認する」ということは本当だ fact4: もしも「御付き合うし立ち歩く」物があるならあの軌道修正は総支出だ fact5: もし「このメタデータは御付き合うか立ち歩かないかもしくは両方ともだ」ということは間違っているならばあの小項目は立ち歩く fact6: 「「立ち歩く」ということは成り立つ」物はある fact7: 仮に「ある物は総支出でないがしかし回折線である」ということは間違っているならそれは総支出だ fact8: あの軌道修正が推認すればこの標的市場は回折線だ fact9: このメタデータは御付き合う fact10: 総支出は立ち歩くがしかし御付き合うということはない fact11: あの日本人研究者は急拡大する fact12: もし「急拡大する」ものはあるとしたら「この標的市場は珍しくて異端視する」ということは成り立たない fact13: 仮にあるものは総支出なら「それは御付き合うかまたは立ち歩かない」ということは事実であるということはない fact14: この飯屋は御付き合う
fact9 & fact1 -> int1: このメタデータは御付き合うし更に立ち歩く; int1 -> int2: 何らかのものは御付き合うししかも立ち歩く; int2 & fact4 -> int3: あの軌道修正は総支出である; int3 & fact3 -> int4: あの軌道修正は推認する; int4 & fact8 -> int5: この標的市場は回折線だ; int5 -> hypothesis;
「この標的市場は異端視するかあるいはそれは回折線であるか両方だ」ということは誤りだ
fact15 -> int6: もしもこのメタデータが総支出ならば立ち歩くけど御付き合うということはない;
$facts$ = fact1: このメタデータは立ち歩く fact2: なにがしかのものは御付き合う fact3: もしもあの軌道修正は総支出だとすると「推認する」ということは本当だ fact4: もしも「御付き合うし立ち歩く」物があるならあの軌道修正は総支出だ fact5: もし「このメタデータは御付き合うか立ち歩かないかもしくは両方ともだ」ということは間違っているならばあの小項目は立ち歩く fact6: 「「立ち歩く」ということは成り立つ」物はある fact7: 仮に「ある物は総支出でないがしかし回折線である」ということは間違っているならそれは総支出だ fact8: あの軌道修正が推認すればこの標的市場は回折線だ fact9: このメタデータは御付き合う fact10: 総支出は立ち歩くがしかし御付き合うということはない fact11: あの日本人研究者は急拡大する fact12: もし「急拡大する」ものはあるとしたら「この標的市場は珍しくて異端視する」ということは成り立たない fact13: 仮にあるものは総支出なら「それは御付き合うかまたは立ち歩かない」ということは事実であるということはない fact14: この飯屋は御付き合う ; $hypothesis$ = この標的市場は異端視するかあるいは回折線である ; $proof$ = 
fact9 & fact1 -> int1: このメタデータは御付き合うし更に立ち歩く; int1 -> int2: 何らかのものは御付き合うししかも立ち歩く; int2 & fact4 -> int3: あの軌道修正は総支出である; int3 & fact3 -> int4: あの軌道修正は推認する; int4 & fact8 -> int5: この標的市場は回折線だ; int5 -> hypothesis; __PROVED__
事実1: このメタデータは立ち歩く
事実2: なにがしかのものは御付き合う
事実3: もしもあの軌道修正は総支出だとすると「推認する」ということは本当だ
事実4: もしも「御付き合うし立ち歩く」物があるならあの軌道修正は総支出だ
事実5: もし「このメタデータは御付き合うか立ち歩かないかもしくは両方ともだ」ということは間違っているならばあの小項目は立ち歩く
事実6: 「「立ち歩く」ということは成り立つ」物はある
事実7: 仮に「ある物は総支出でないがしかし回折線である」ということは間違っているならそれは総支出だ
事実8: あの軌道修正が推認すればこの標的市場は回折線だ
事実9: このメタデータは御付き合う
事実10: 総支出は立ち歩くがしかし御付き合うということはない
事実11: あの日本人研究者は急拡大する
事実12: もし「急拡大する」ものはあるとしたら「この標的市場は珍しくて異端視する」ということは成り立たない
事実13: 仮にあるものは総支出なら「それは御付き合うかまたは立ち歩かない」ということは事実であるということはない
事実14: この飯屋は御付き合う

仮説: この標的市場は異端視するかあるいは回折線である
1. 事実9と事実1から、推論1: "このメタデータは御付き合うし更に立ち歩く"が導かれる
2. 推論1から、推論2: "何らかのものは御付き合うししかも立ち歩く"が導かれる
3. 推論2と事実4から、推論3: "あの軌道修正は総支出である"が導かれる
4. 推論3と事実3から、推論4: "あの軌道修正は推認する"が導かれる
5. 推論4と事実8から、推論5: "この標的市場は回折線だ"が導かれる
6. 推論5から、仮説が導かれる

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