あの民間療法は書写する
fact1: もしも「とある物は書写する一方で御話し下さらない」ということは誤っているとすれば書写するということはない fact2: あの極秘裏は書写する fact3: あの民間療法は書写する
fact3 -> hypothesis;
fact3 -> hypothesis;
あの民間療法は書写しない
fact4 -> int1: 仮に「あの民間療法は書写するがしかし御話し下さらない」ということは間違いならばそれは書写しない;
$facts$ = fact1: もしも「とある物は書写する一方で御話し下さらない」ということは誤っているとすれば書写するということはない fact2: あの極秘裏は書写する fact3: あの民間療法は書写する ; $hypothesis$ = あの民間療法は書写する ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしも「とある物は書写する一方で御話し下さらない」ということは誤っているとすれば書写するということはない
事実2: あの極秘裏は書写する
事実3: あの民間療法は書写する

仮説: あの民間療法は書写する
1. 事実3から、仮説が導かれる

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