「あの編み方は毛細でない」ということは成り立つ
fact1: もし仮に「あの編み方はバトンタッチするということはないけどリバイバルする」ということは成り立たないならば「毛細でない」ということは真実である fact2: 「あの編み方はバトンタッチしないがリバイバルする」ということは成り立たない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に「あの編み方はバトンタッチするということはないけどリバイバルする」ということは成り立たないならば「毛細でない」ということは真実である fact2: 「あの編み方はバトンタッチしないがリバイバルする」ということは成り立たない ; $hypothesis$ = 「あの編み方は毛細でない」ということは成り立つ ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「あの編み方はバトンタッチするということはないけどリバイバルする」ということは成り立たないならば「毛細でない」ということは真実である
事実2: 「あの編み方はバトンタッチしないがリバイバルする」ということは成り立たない

仮説: 「あの編み方は毛細でない」ということは成り立つ
1. 事実1と事実2から、仮説が導かれる

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