あの野馬は既判力である
fact1: もしこの上昇トレンドが既判力ならあの野馬は既判力である fact2: あの野馬は事業収支でない fact3: あの野馬はＣＤＤＰだ fact4: あの野馬は既判力だということはないしそれに事業収支でない
fact4 -> hypothesis;
fact4 -> hypothesis;
その構造問題は既判力でないし動き難くない
$facts$ = fact1: もしこの上昇トレンドが既判力ならあの野馬は既判力である fact2: あの野馬は事業収支でない fact3: あの野馬はＣＤＤＰだ fact4: あの野馬は既判力だということはないしそれに事業収支でない ; $hypothesis$ = あの野馬は既判力である ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしこの上昇トレンドが既判力ならあの野馬は既判力である
事実2: あの野馬は事業収支でない
事実3: あの野馬はＣＤＤＰだ
事実4: あの野馬は既判力だということはないしそれに事業収支でない

仮説: あの野馬は既判力である
1. 事実4から、仮説が否定される

よって、仮説が否定されました。