「あの制度作りはレストアするけれど出で立たない」ということは誤っている
fact1: なにかは頒布する fact2: 「頒布する」物があるならばあの制度作りはレストアするけど出で立たない
$facts$ = fact1: なにかは頒布する fact2: 「頒布する」物があるならばあの制度作りはレストアするけど出で立たない ; $hypothesis$ = 「あの制度作りはレストアするけれど出で立たない」ということは誤っている ; $proof$ = 
事実1: なにかは頒布する
事実2: 「頒布する」物があるならばあの制度作りはレストアするけど出で立たない

仮説: 「あの制度作りはレストアするけれど出で立たない」ということは誤っている