あの静脈穿刺は救い上げるかあるいは繰らないかあるいはどちらもである
fact1: もしもあの静脈穿刺は過不足無くないとすれば「それは救い上げるかもしくは繰るということはない」ということは成り立たない fact2: 「あの静脈穿刺は過不足無くない」ということは成り立つ
$facts$ = fact1: もしもあの静脈穿刺は過不足無くないとすれば「それは救い上げるかもしくは繰るということはない」ということは成り立たない fact2: 「あの静脈穿刺は過不足無くない」ということは成り立つ ; $hypothesis$ = あの静脈穿刺は救い上げるかあるいは繰らないかあるいはどちらもである ; $proof$ = 
事実1: もしもあの静脈穿刺は過不足無くないとすれば「それは救い上げるかもしくは繰るということはない」ということは成り立たない
事実2: 「あの静脈穿刺は過不足無くない」ということは成り立つ

仮説: あの静脈穿刺は救い上げるかあるいは繰らないかあるいはどちらもである