その音叉は真っ白くない
fact1: 仮に「その外局は真っ白い」ということは本当であるならば同時中継する fact2: もしその外局は東京事務所だとすれば「それは同時中継する」ということは本当である fact3: その音叉は同時中継する fact4: 仮にその外局が同時中継するならその音叉は東京事務所だ fact5: 仮に何らかのものが同時中継しなくてまたそれは東京事務所でないとするとそれは真っ白くない fact6: その外局は東京事務所である fact7: 仮にその音叉はカーラーでその上信仰深いならば同時中継しない fact8: もしその外局が同時中継するとすればその音叉は真っ白い fact9: その音叉は東京事務所である fact10: その外局は埋葬坑である fact11: その外局は出資法である fact12: その外局が真っ白いとしたらその音叉は東京事務所だ fact13: もしもその音叉が真っ白いとすると東京事務所である
fact2 & fact6 -> int1: 「その外局は同時中継する」ということは本当である; int1 & fact8 -> hypothesis;
その音叉は真っ白くない
fact15 -> int2: もしその音叉が同時中継しないしさらに東京事務所であるということはないなら真っ白くない;
$facts$ = fact1: 仮に「その外局は真っ白い」ということは本当であるならば同時中継する fact2: もしその外局は東京事務所だとすれば「それは同時中継する」ということは本当である fact3: その音叉は同時中継する fact4: 仮にその外局が同時中継するならその音叉は東京事務所だ fact5: 仮に何らかのものが同時中継しなくてまたそれは東京事務所でないとするとそれは真っ白くない fact6: その外局は東京事務所である fact7: 仮にその音叉はカーラーでその上信仰深いならば同時中継しない fact8: もしその外局が同時中継するとすればその音叉は真っ白い fact9: その音叉は東京事務所である fact10: その外局は埋葬坑である fact11: その外局は出資法である fact12: その外局が真っ白いとしたらその音叉は東京事務所だ fact13: もしもその音叉が真っ白いとすると東京事務所である ; $hypothesis$ = その音叉は真っ白くない ; $proof$ = 
fact2 & fact6 -> int1: 「その外局は同時中継する」ということは本当である; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「その外局は真っ白い」ということは本当であるならば同時中継する
事実2: もしその外局は東京事務所だとすれば「それは同時中継する」ということは本当である
事実3: その音叉は同時中継する
事実4: 仮にその外局が同時中継するならその音叉は東京事務所だ
事実5: 仮に何らかのものが同時中継しなくてまたそれは東京事務所でないとするとそれは真っ白くない
事実6: その外局は東京事務所である
事実7: 仮にその音叉はカーラーでその上信仰深いならば同時中継しない
事実8: もしその外局が同時中継するとすればその音叉は真っ白い
事実9: その音叉は東京事務所である
事実10: その外局は埋葬坑である
事実11: その外局は出資法である
事実12: その外局が真っ白いとしたらその音叉は東京事務所だ
事実13: もしもその音叉が真っ白いとすると東京事務所である

仮説: その音叉は真っ白くない
1. 事実2と事実6から、推論1: "「その外局は同時中継する」ということは本当である"が導かれる
2. 推論1と事実8から、仮説が否定される

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