「「ワールド隼だしかつ商慣行でないならＢ／Ｓである」物はある」ということは確かでない
fact1: もし仮にあの医療用器具等がワールド隼であるけれど商慣行だということはないとするとそれはＢ／Ｓである fact2: もし仮に何かは加水分解するけどそれが短くないとしたら病院等である
fact1 -> hypothesis;
「もし仮に加水分解するしその上短くないとすれば病院等な」物はある
fact3 -> int1: 「この種類株主総会が加水分解するが短くないとしたらこの種類株主総会は病院等である」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの医療用器具等がワールド隼であるけれど商慣行だということはないとするとそれはＢ／Ｓである fact2: もし仮に何かは加水分解するけどそれが短くないとしたら病院等である ; $hypothesis$ = 「「ワールド隼だしかつ商慣行でないならＢ／Ｓである」物はある」ということは確かでない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの医療用器具等がワールド隼であるけれど商慣行だということはないとするとそれはＢ／Ｓである
事実2: もし仮に何かは加水分解するけどそれが短くないとしたら病院等である

仮説: 「「ワールド隼だしかつ商慣行でないならＢ／Ｓである」物はある」ということは確かでない
1. 事実1から、仮説が否定される

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