あの標的市場は担当課所等だ
fact1: もし流れ易いものが変わり易くないとするとそれは担当課所等である fact2: その最終報告書は御達する fact3: その最終報告書は流れ易い fact4: 仮に「あるものは変わり易くない」ということは事実であるならば「それは担当課所等であるしさらに流れ易い」ということは誤りである fact5: もし仮に「ある物は担当課所等でその上それは流れ易い」ということは成り立たないとすると担当課所等であるということはない fact6: もし仮に「何かはじっとする一方で間違い易くない」ということは成り立たないならそれは狭心だ fact7: もし仮にその最終報告書は御達するとしたら「それはじっとするし間違い易くない」ということは成り立たない fact8: もし仮にその最終報告書が流れ易いならあの標的市場は担当課所等だ
fact8 & fact3 -> hypothesis;
fact8 & fact3 -> hypothesis;
「あの標的市場は担当課所等でない」ということは成り立つ
fact9 -> int1: もしも「あの標的市場が担当課所等だし流れ易い」ということは成り立つということはないとすると担当課所等でない; fact12 -> int2: あの標的市場は変わり易くないとすると「それは担当課所等でまた流れ易い」ということは間違いだ; fact11 -> int3: 仮に「その最終報告書はじっとするけど間違い易くない」ということは事実と異なるとすれば狭心である; fact13 & fact10 -> int4: 「その最終報告書はじっとするがしかし間違い易くない」ということは誤っている; int3 & int4 -> int5: その最終報告書は狭心だ; int5 -> int6: その最終報告書は狭心であるかもしくはそれは反応し易いかもしくはどちらもだ; int6 -> int7: 「狭心であるかもしくは反応し易いかあるいは両方な」物はある;
$facts$ = fact1: もし流れ易いものが変わり易くないとするとそれは担当課所等である fact2: その最終報告書は御達する fact3: その最終報告書は流れ易い fact4: 仮に「あるものは変わり易くない」ということは事実であるならば「それは担当課所等であるしさらに流れ易い」ということは誤りである fact5: もし仮に「ある物は担当課所等でその上それは流れ易い」ということは成り立たないとすると担当課所等であるということはない fact6: もし仮に「何かはじっとする一方で間違い易くない」ということは成り立たないならそれは狭心だ fact7: もし仮にその最終報告書は御達するとしたら「それはじっとするし間違い易くない」ということは成り立たない fact8: もし仮にその最終報告書が流れ易いならあの標的市場は担当課所等だ ; $hypothesis$ = あの標的市場は担当課所等だ ; $proof$ = 
fact8 & fact3 -> hypothesis; __PROVED__
事実1: もし流れ易いものが変わり易くないとするとそれは担当課所等である
事実2: その最終報告書は御達する
事実3: その最終報告書は流れ易い
事実4: 仮に「あるものは変わり易くない」ということは事実であるならば「それは担当課所等であるしさらに流れ易い」ということは誤りである
事実5: もし仮に「ある物は担当課所等でその上それは流れ易い」ということは成り立たないとすると担当課所等であるということはない
事実6: もし仮に「何かはじっとする一方で間違い易くない」ということは成り立たないならそれは狭心だ
事実7: もし仮にその最終報告書は御達するとしたら「それはじっとするし間違い易くない」ということは成り立たない
事実8: もし仮にその最終報告書が流れ易いならあの標的市場は担当課所等だ

仮説: あの標的市場は担当課所等だ
1. 事実8と事実3から、仮説が導かれる

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