「あの大銀行は呪術信仰でないけれど再現する」ということは間違いだ
fact1: このビーチチェアーは辛気臭いということはない fact2: もしもこのビーチチェアーが辛気臭くないとするとあの大銀行は呪術信仰でないがしかし再現する fact3: あの大銀行は辛気臭くない fact4: 「あの大銀行は辛気臭くない」ということは成り立つとすればこのビーチチェアーは再現しないけど呪術信仰である
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: このビーチチェアーは辛気臭いということはない fact2: もしもこのビーチチェアーが辛気臭くないとするとあの大銀行は呪術信仰でないがしかし再現する fact3: あの大銀行は辛気臭くない fact4: 「あの大銀行は辛気臭くない」ということは成り立つとすればこのビーチチェアーは再現しないけど呪術信仰である ; $hypothesis$ = 「あの大銀行は呪術信仰でないけれど再現する」ということは間違いだ ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: このビーチチェアーは辛気臭いということはない
事実2: もしもこのビーチチェアーが辛気臭くないとするとあの大銀行は呪術信仰でないがしかし再現する
事実3: あの大銀行は辛気臭くない
事実4: 「あの大銀行は辛気臭くない」ということは成り立つとすればこのビーチチェアーは再現しないけど呪術信仰である

仮説: 「あの大銀行は呪術信仰でないけれど再現する」ということは間違いだ
1. 事実2と事実1から、仮説が否定される

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