その慢性疲労はオープンシステムでない
fact1: あの歩行率は舗装部分であるかこっくりするかあるいはどちらもである fact2: 仮にあの歩行率がこっくりすればその慢性疲労はオープンシステムである fact3: もし「あの歩行率は舗装部分だ」ということは成り立つとすればあの慢性疲労はオープンシステムである
$facts$ = fact1: あの歩行率は舗装部分であるかこっくりするかあるいはどちらもである fact2: 仮にあの歩行率がこっくりすればその慢性疲労はオープンシステムである fact3: もし「あの歩行率は舗装部分だ」ということは成り立つとすればあの慢性疲労はオープンシステムである ; $hypothesis$ = その慢性疲労はオープンシステムでない ; $proof$ = 
事実1: あの歩行率は舗装部分であるかこっくりするかあるいはどちらもである
事実2: 仮にあの歩行率がこっくりすればその慢性疲労はオープンシステムである
事実3: もし「あの歩行率は舗装部分だ」ということは成り立つとすればあの慢性疲労はオープンシステムである

仮説: その慢性疲労はオープンシステムでない