「この直刀は父飛驒守でなくてそれは焦れるということはない」ということは間違っている
fact1: もしそのエラー処理が二次被覆しないとすればこの直刀は父飛驒守でなくて加えて焦れない fact2: そのエラー処理は二次被覆しない
$facts$ = fact1: もしそのエラー処理が二次被覆しないとすればこの直刀は父飛驒守でなくて加えて焦れない fact2: そのエラー処理は二次被覆しない ; $hypothesis$ = 「この直刀は父飛驒守でなくてそれは焦れるということはない」ということは間違っている ; $proof$ = 
事実1: もしそのエラー処理が二次被覆しないとすればこの直刀は父飛驒守でなくて加えて焦れない
事実2: そのエラー処理は二次被覆しない

仮説: 「この直刀は父飛驒守でなくてそれは焦れるということはない」ということは間違っている