「もし仮に「あの粗大塵は引っ張り出すということはないけれど入り切れる」ということは間違いであるならば「あの粗大塵は飲み比べない」ということは成り立つ」ということは事実と異なる
fact1: もしも「なにかは引っ張り出さないけれど入り切れる」ということは成り立たないとすれば飲み比べない
$facts$ = fact1: もしも「なにかは引っ張り出さないけれど入り切れる」ということは成り立たないとすれば飲み比べない ; $hypothesis$ = 「もし仮に「あの粗大塵は引っ張り出すということはないけれど入り切れる」ということは間違いであるならば「あの粗大塵は飲み比べない」ということは成り立つ」ということは事実と異なる ; $proof$ = 
事実1: もしも「なにかは引っ張り出さないけれど入り切れる」ということは成り立たないとすれば飲み比べない

仮説: 「もし仮に「あの粗大塵は引っ張り出すということはないけれど入り切れる」ということは間違いであるならば「あの粗大塵は飲み比べない」ということは成り立つ」ということは事実と異なる