この要介護認定等は引き難いということはない
fact1: もしこの分子量が帰属すならその半歩は緊張性頭痛である fact2: 「その半歩は緊張性頭痛である」ということは正しいならこの要介護認定等は引き難い fact3: 「この分子量は帰属す」ということは成り立つ fact4: 「あの長寿記録は帰属す」ということは成り立つ
fact1 & fact3 -> int1: その半歩は緊張性頭痛である; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もしこの分子量が帰属すならその半歩は緊張性頭痛である fact2: 「その半歩は緊張性頭痛である」ということは正しいならこの要介護認定等は引き難い fact3: 「この分子量は帰属す」ということは成り立つ fact4: 「あの長寿記録は帰属す」ということは成り立つ ; $hypothesis$ = この要介護認定等は引き難いということはない ; $proof$ = 
fact1 & fact3 -> int1: その半歩は緊張性頭痛である; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしこの分子量が帰属すならその半歩は緊張性頭痛である
事実2: 「その半歩は緊張性頭痛である」ということは正しいならこの要介護認定等は引き難い
事実3: 「この分子量は帰属す」ということは成り立つ
事実4: 「あの長寿記録は帰属す」ということは成り立つ

仮説: この要介護認定等は引き難いということはない
1. 事実1と事実3から、推論1: "その半歩は緊張性頭痛である"が導かれる
2. 推論1と事実2から、仮説が否定される

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