「この頃合いは医師患者関係でないけれどそれは制限納税義務者だ」ということは確かでない
fact1: この頃合いはでかでないけど搾取する fact2: あの坊主頭は制限納税義務者だ fact3: この頃合いは医師患者関係でない fact4: あのビラは暴風雨である fact5: 仮にあのビラが暴風雨であるとするとこの頃合いは医師患者関係でないけれど制限納税義務者である fact6: 仮にあのビラが暴風雨だとしたらこの頃合いは医師患者関係でない fact7: この頃合いが暴風雨だとすればあのビラは医師患者関係だ fact8: この頃合いは医師患者関係でないがしかし暴風雨である fact9: 仮にこの頃合いが暴風雨であるとするとあのビラは制限納税義務者である
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
$facts$ = fact1: この頃合いはでかでないけど搾取する fact2: あの坊主頭は制限納税義務者だ fact3: この頃合いは医師患者関係でない fact4: あのビラは暴風雨である fact5: 仮にあのビラが暴風雨であるとするとこの頃合いは医師患者関係でないけれど制限納税義務者である fact6: 仮にあのビラが暴風雨だとしたらこの頃合いは医師患者関係でない fact7: この頃合いが暴風雨だとすればあのビラは医師患者関係だ fact8: この頃合いは医師患者関係でないがしかし暴風雨である fact9: 仮にこの頃合いが暴風雨であるとするとあのビラは制限納税義務者である ; $hypothesis$ = 「この頃合いは医師患者関係でないけれどそれは制限納税義務者だ」ということは確かでない ; $proof$ = 
fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: この頃合いはでかでないけど搾取する
事実2: あの坊主頭は制限納税義務者だ
事実3: この頃合いは医師患者関係でない
事実4: あのビラは暴風雨である
事実5: 仮にあのビラが暴風雨であるとするとこの頃合いは医師患者関係でないけれど制限納税義務者である
事実6: 仮にあのビラが暴風雨だとしたらこの頃合いは医師患者関係でない
事実7: この頃合いが暴風雨だとすればあのビラは医師患者関係だ
事実8: この頃合いは医師患者関係でないがしかし暴風雨である
事実9: 仮にこの頃合いが暴風雨であるとするとあのビラは制限納税義務者である

仮説: 「この頃合いは医師患者関係でないけれどそれは制限納税義務者だ」ということは確かでない
1. 事実5と事実4から、仮説が否定される

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