この沙汰止みは叩き始める
fact1: 「「叩き始めるが倭館でない」ということは確かである」ものはある fact2: 「すべてのものは逃げ切るしコデインである」ということは誤りでない fact3: 「この沙汰止みは倭館である」ということは確かだとするとあのポワレは叩き始める fact4: あのポワレは倭館でなくて加えて明るくない fact5: もしも「倭館でないし更に明るくない」物はあるなら「その馬達は期末時点である」ということは成り立つ fact6: あのポワレは期末時点でないしおまけに倭館でない fact7: 仮になにがしかのものは逃げ切るとすると「期末時点だしさらに明るくない」ということは成り立たない fact8: 「もし仮にその馬達が期末時点ならばこの沙汰止みは叩き始める」ということは成り立つ
fact4 -> int1: 「倭館であるということはなくて更に明るくない」ものはある; int1 & fact5 -> int2: その馬達は期末時点だ; int2 & fact8 -> hypothesis;
この沙汰止みは叩き始めない
fact9 -> int3: この携帯型は逃げ切れば「「期末時点である一方で明るくない」ということは確かだ」ということは間違っている; fact10 -> int4: この携帯型が逃げ切るしその上それはコデインである; int4 -> int5: この携帯型は逃げ切る; int3 & int5 -> int6: 「「「この携帯型は期末時点だ一方でそれは明るくない」ということは正しい」ということは事実と異なる」ということは正しい; int6 -> int7: 期末時点であるしおまけに明るいということはないというものはない; int7 -> int8: 「あの五十パーセント以上は期末時点であるけど明るくない」ということは偽である; int8 -> int9: 「「期末時点であるししかも明るくない」ということは間違いな」物はある;
$facts$ = fact1: 「「叩き始めるが倭館でない」ということは確かである」ものはある fact2: 「すべてのものは逃げ切るしコデインである」ということは誤りでない fact3: 「この沙汰止みは倭館である」ということは確かだとするとあのポワレは叩き始める fact4: あのポワレは倭館でなくて加えて明るくない fact5: もしも「倭館でないし更に明るくない」物はあるなら「その馬達は期末時点である」ということは成り立つ fact6: あのポワレは期末時点でないしおまけに倭館でない fact7: 仮になにがしかのものは逃げ切るとすると「期末時点だしさらに明るくない」ということは成り立たない fact8: 「もし仮にその馬達が期末時点ならばこの沙汰止みは叩き始める」ということは成り立つ ; $hypothesis$ = この沙汰止みは叩き始める ; $proof$ = 
fact4 -> int1: 「倭館であるということはなくて更に明るくない」ものはある; int1 & fact5 -> int2: その馬達は期末時点だ; int2 & fact8 -> hypothesis; __PROVED__
事実1: 「「叩き始めるが倭館でない」ということは確かである」ものはある
事実2: 「すべてのものは逃げ切るしコデインである」ということは誤りでない
事実3: 「この沙汰止みは倭館である」ということは確かだとするとあのポワレは叩き始める
事実4: あのポワレは倭館でなくて加えて明るくない
事実5: もしも「倭館でないし更に明るくない」物はあるなら「その馬達は期末時点である」ということは成り立つ
事実6: あのポワレは期末時点でないしおまけに倭館でない
事実7: 仮になにがしかのものは逃げ切るとすると「期末時点だしさらに明るくない」ということは成り立たない
事実8: 「もし仮にその馬達が期末時点ならばこの沙汰止みは叩き始める」ということは成り立つ

仮説: この沙汰止みは叩き始める
1. 事実4から、推論1: "「倭館であるということはなくて更に明るくない」ものはある"が導かれる
2. 推論1と事実5から、推論2: "その馬達は期末時点だ"が導かれる
3. 推論2と事実8から、仮説が導かれる

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