もしその精密検査は一箱でないとすると「それは飛騨牛だということはないしまたそれは資本注入しない」ということは間違っている
fact1: もしある物は一箱でないならば「飛騨牛でなくてまたそれは資本注入しない」ということは成り立たない
$facts$ = fact1: もしある物は一箱でないならば「飛騨牛でなくてまたそれは資本注入しない」ということは成り立たない ; $hypothesis$ = もしその精密検査は一箱でないとすると「それは飛騨牛だということはないしまたそれは資本注入しない」ということは間違っている ; $proof$ = 
事実1: もしある物は一箱でないならば「飛騨牛でなくてまたそれは資本注入しない」ということは成り立たない

仮説: もしその精密検査は一箱でないとすると「それは飛騨牛だということはないしまたそれは資本注入しない」ということは間違っている