あの支持細胞は居残る
fact1: あの支持細胞は居残るしその上直し方だ fact2: もしあの試合速報は調和し難いとすれば「あの支持細胞は直し方でないけれどそれは侵食する」ということは成り立たない fact3: あの支持細胞は直し方である fact4: もしあの試合速報が窺い見るとしたら調和し難い
fact1 -> hypothesis;
fact1 -> hypothesis;
あの支持細胞は居残らない
$facts$ = fact1: あの支持細胞は居残るしその上直し方だ fact2: もしあの試合速報は調和し難いとすれば「あの支持細胞は直し方でないけれどそれは侵食する」ということは成り立たない fact3: あの支持細胞は直し方である fact4: もしあの試合速報が窺い見るとしたら調和し難い ; $hypothesis$ = あの支持細胞は居残る ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの支持細胞は居残るしその上直し方だ
事実2: もしあの試合速報は調和し難いとすれば「あの支持細胞は直し方でないけれどそれは侵食する」ということは成り立たない
事実3: あの支持細胞は直し方である
事実4: もしあの試合速報が窺い見るとしたら調和し難い

仮説: あの支持細胞は居残る
1. 事実1から、仮説が導かれる

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