「あの三科は久しいということはない」ということは成り立つ
fact1: 仮にあの三科が済度するとするとこの哀れさは久しい fact2: 仮にこの哀れさが久しいとするとあの三科は済度する fact3: もしこの哀れさは済度するなら「あの三科は久しい」ということは真実だ fact4: この哀れさは済度する fact5: あの単位時間は済度する
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあの三科が済度するとするとこの哀れさは久しい fact2: 仮にこの哀れさが久しいとするとあの三科は済度する fact3: もしこの哀れさは済度するなら「あの三科は久しい」ということは真実だ fact4: この哀れさは済度する fact5: あの単位時間は済度する ; $hypothesis$ = 「あの三科は久しいということはない」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にあの三科が済度するとするとこの哀れさは久しい
事実2: 仮にこの哀れさが久しいとするとあの三科は済度する
事実3: もしこの哀れさは済度するなら「あの三科は久しい」ということは真実だ
事実4: この哀れさは済度する
事実5: あの単位時間は済度する

仮説: 「あの三科は久しいということはない」ということは成り立つ
1. 事実3と事実4から、仮説が否定される

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