この社外監査役は通電する
fact1: もし仮に「その千七甕棺墓は比較的小型であるけど打ち勝てない」ということは真実でないとすればこの社外監査役は罷り越す fact2: 「この社外監査役は罷り越すけど打ち勝てない」ということは偽である fact3: 「その一画面はＳＯＶ型だけれど打ち勝てない」ということは嘘である fact4: 「その一画面は通電するし更にＳＯＶ型だ」ということは成り立たない fact5: 「「その千七甕棺墓は打ち勝てるが通電しない」ということは成り立つ」ということは確かでない fact6: もし仮にその一画面はＳＯＶ型であるとしたら「その千七甕棺墓は比較的小型であり打ち勝てない」ということは誤っている fact7: もしもその一画面が罷り越すとしたらこの社外監査役はＳＯＶ型だ fact8: その千七甕棺墓は比較的小型であるとしたら「その一画面は打ち勝てるけれどそれはＳＯＶ型でない」ということは成り立たない fact9: 「もしもこの社外監査役は罷り越すし易しいならば「この社外監査役は通電する」ということは成り立たない」ということは成り立つ fact10: その一画面はＳＯＶ型だ fact11: この社外監査役はＳＯＶ型だ fact12: もし「その一画面はＳＯＶ型だ」ということは事実であるとすると「その千七甕棺墓は比較的小型であるしさらに打ち勝てる」ということは成り立たない fact13: この社外監査役は易しい fact14: 「その千七甕棺墓は易しいが打ち勝てない」ということは成り立たない
fact6 & fact10 -> int1: 「その千七甕棺墓は比較的小型であるがしかし打ち勝てない」ということは事実と異なる; int1 & fact1 -> int2: この社外監査役は罷り越す; int2 & fact13 -> int3: この社外監査役は罷り越すしかつそれは易しい; int3 & fact9 -> hypothesis;
$facts$ = fact1: もし仮に「その千七甕棺墓は比較的小型であるけど打ち勝てない」ということは真実でないとすればこの社外監査役は罷り越す fact2: 「この社外監査役は罷り越すけど打ち勝てない」ということは偽である fact3: 「その一画面はＳＯＶ型だけれど打ち勝てない」ということは嘘である fact4: 「その一画面は通電するし更にＳＯＶ型だ」ということは成り立たない fact5: 「「その千七甕棺墓は打ち勝てるが通電しない」ということは成り立つ」ということは確かでない fact6: もし仮にその一画面はＳＯＶ型であるとしたら「その千七甕棺墓は比較的小型であり打ち勝てない」ということは誤っている fact7: もしもその一画面が罷り越すとしたらこの社外監査役はＳＯＶ型だ fact8: その千七甕棺墓は比較的小型であるとしたら「その一画面は打ち勝てるけれどそれはＳＯＶ型でない」ということは成り立たない fact9: 「もしもこの社外監査役は罷り越すし易しいならば「この社外監査役は通電する」ということは成り立たない」ということは成り立つ fact10: その一画面はＳＯＶ型だ fact11: この社外監査役はＳＯＶ型だ fact12: もし「その一画面はＳＯＶ型だ」ということは事実であるとすると「その千七甕棺墓は比較的小型であるしさらに打ち勝てる」ということは成り立たない fact13: この社外監査役は易しい fact14: 「その千七甕棺墓は易しいが打ち勝てない」ということは成り立たない ; $hypothesis$ = この社外監査役は通電する ; $proof$ = 
fact6 & fact10 -> int1: 「その千七甕棺墓は比較的小型であるがしかし打ち勝てない」ということは事実と異なる; int1 & fact1 -> int2: この社外監査役は罷り越す; int2 & fact13 -> int3: この社外監査役は罷り越すしかつそれは易しい; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「その千七甕棺墓は比較的小型であるけど打ち勝てない」ということは真実でないとすればこの社外監査役は罷り越す
事実2: 「この社外監査役は罷り越すけど打ち勝てない」ということは偽である
事実3: 「その一画面はＳＯＶ型だけれど打ち勝てない」ということは嘘である
事実4: 「その一画面は通電するし更にＳＯＶ型だ」ということは成り立たない
事実5: 「「その千七甕棺墓は打ち勝てるが通電しない」ということは成り立つ」ということは確かでない
事実6: もし仮にその一画面はＳＯＶ型であるとしたら「その千七甕棺墓は比較的小型であり打ち勝てない」ということは誤っている
事実7: もしもその一画面が罷り越すとしたらこの社外監査役はＳＯＶ型だ
事実8: その千七甕棺墓は比較的小型であるとしたら「その一画面は打ち勝てるけれどそれはＳＯＶ型でない」ということは成り立たない
事実9: 「もしもこの社外監査役は罷り越すし易しいならば「この社外監査役は通電する」ということは成り立たない」ということは成り立つ
事実10: その一画面はＳＯＶ型だ
事実11: この社外監査役はＳＯＶ型だ
事実12: もし「その一画面はＳＯＶ型だ」ということは事実であるとすると「その千七甕棺墓は比較的小型であるしさらに打ち勝てる」ということは成り立たない
事実13: この社外監査役は易しい
事実14: 「その千七甕棺墓は易しいが打ち勝てない」ということは成り立たない

仮説: この社外監査役は通電する
1. 事実6と事実10から、推論1: "「その千七甕棺墓は比較的小型であるがしかし打ち勝てない」ということは事実と異なる"が導かれる
2. 推論1と事実1から、推論2: "この社外監査役は罷り越す"が導かれる
3. 推論2と事実13から、推論3: "この社外監査役は罷り越すしかつそれは易しい"が導かれる
4. 推論3と事実9から、仮説が否定される

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