この竹刀稽古はマイクロフィラメントでない
fact1: この竹刀稽古は御借りする fact2: この竹刀稽古はマイクロフィラメントだ fact3: あの競争はマイクロフィラメントである
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: この竹刀稽古は御借りする fact2: この竹刀稽古はマイクロフィラメントだ fact3: あの競争はマイクロフィラメントである ; $hypothesis$ = この竹刀稽古はマイクロフィラメントでない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この竹刀稽古は御借りする
事実2: この竹刀稽古はマイクロフィラメントだ
事実3: あの競争はマイクロフィラメントである

仮説: この竹刀稽古はマイクロフィラメントでない
1. 事実2から、仮説が否定される

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