仮に「この各種施設は医療処置でないかあるいはそれは置き易い」ということは間違いであるならばそれは空振りする
fact1: もしもこの各種施設は医療処置でないかもしくは置き易いかどちらもならばそれは空振りする fact2: もしも「何らかの物は医療処置だということはないか置き易いかまたはどちらもだ」ということは正しくないとすれば空振りする
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしもこの各種施設は医療処置でないかもしくは置き易いかどちらもならばそれは空振りする fact2: もしも「何らかの物は医療処置だということはないか置き易いかまたはどちらもだ」ということは正しくないとすれば空振りする ; $hypothesis$ = 仮に「この各種施設は医療処置でないかあるいはそれは置き易い」ということは間違いであるならばそれは空振りする ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもこの各種施設は医療処置でないかもしくは置き易いかどちらもならばそれは空振りする
事実2: もしも「何らかの物は医療処置だということはないか置き易いかまたはどちらもだ」ということは正しくないとすれば空振りする

仮説: 仮に「この各種施設は医療処置でないかあるいはそれは置き易い」ということは間違いであるならばそれは空振りする
1. 事実2から、仮説が導かれる

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