その奴隷頭は甘ーくない
fact1: そのバリアゾーンは越せる fact2: もし仮にそのバリアゾーンが越せるなら磨き上げる fact3: 「もしそのバリアゾーンは磨き上げるなら「その奴隷頭は甘ーい」ということは真実だ」ということは成り立つ fact4: もし仮にそのバリアゾーンは継続し難くないとしたら「それは越せるがしかし磨き上げない」ということは成り立たない fact5: 仮に「そのバリアゾーンは甘ーくないかもしくは越せるということはないかどちらもである」ということは間違っていればその奴隷頭は甘ーくない fact6: 仮にこのＡ病院が書き漏らすなら甘ーい fact7: この碁盤は越せる
fact2 & fact1 -> int1: 「そのバリアゾーンは磨き上げる」ということは成り立つ; int1 & fact3 -> hypothesis;
その奴隷頭は甘ーくない
$facts$ = fact1: そのバリアゾーンは越せる fact2: もし仮にそのバリアゾーンが越せるなら磨き上げる fact3: 「もしそのバリアゾーンは磨き上げるなら「その奴隷頭は甘ーい」ということは真実だ」ということは成り立つ fact4: もし仮にそのバリアゾーンは継続し難くないとしたら「それは越せるがしかし磨き上げない」ということは成り立たない fact5: 仮に「そのバリアゾーンは甘ーくないかもしくは越せるということはないかどちらもである」ということは間違っていればその奴隷頭は甘ーくない fact6: 仮にこのＡ病院が書き漏らすなら甘ーい fact7: この碁盤は越せる ; $hypothesis$ = その奴隷頭は甘ーくない ; $proof$ = 
fact2 & fact1 -> int1: 「そのバリアゾーンは磨き上げる」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: そのバリアゾーンは越せる
事実2: もし仮にそのバリアゾーンが越せるなら磨き上げる
事実3: 「もしそのバリアゾーンは磨き上げるなら「その奴隷頭は甘ーい」ということは真実だ」ということは成り立つ
事実4: もし仮にそのバリアゾーンは継続し難くないとしたら「それは越せるがしかし磨き上げない」ということは成り立たない
事実5: 仮に「そのバリアゾーンは甘ーくないかもしくは越せるということはないかどちらもである」ということは間違っていればその奴隷頭は甘ーくない
事実6: 仮にこのＡ病院が書き漏らすなら甘ーい
事実7: この碁盤は越せる

仮説: その奴隷頭は甘ーくない
1. 事実2と事実1から、推論1: "「そのバリアゾーンは磨き上げる」ということは成り立つ"が導かれる
2. 推論1と事実3から、仮説が否定される

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