あの統計関数は日本図書館協会だということはなくて快いということはない
fact1: この要支援認定は俊敏性でない fact2: もしこの要支援認定は俊敏性でないとしたら「あの統計関数は日本図書館協会でないけどそれは快い」ということは事実であるということはない fact3: もし仮にこの要支援認定は俊敏性だということはないなら「あの統計関数は日本図書館協会でなくてまた快くない」ということは成り立たない fact4: この要支援認定は日本図書館協会でない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: この要支援認定は俊敏性でない fact2: もしこの要支援認定は俊敏性でないとしたら「あの統計関数は日本図書館協会でないけどそれは快い」ということは事実であるということはない fact3: もし仮にこの要支援認定は俊敏性だということはないなら「あの統計関数は日本図書館協会でなくてまた快くない」ということは成り立たない fact4: この要支援認定は日本図書館協会でない ; $hypothesis$ = あの統計関数は日本図書館協会だということはなくて快いということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: この要支援認定は俊敏性でない
事実2: もしこの要支援認定は俊敏性でないとしたら「あの統計関数は日本図書館協会でないけどそれは快い」ということは事実であるということはない
事実3: もし仮にこの要支援認定は俊敏性だということはないなら「あの統計関数は日本図書館協会でなくてまた快くない」ということは成り立たない
事実4: この要支援認定は日本図書館協会でない

仮説: あの統計関数は日本図書館協会だということはなくて快いということはない
1. 事実3と事実1から、仮説が否定される

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