その漫画は各地域だ
fact1: もし仮に「簡便化だしさらに掻い潜らない」物はあるとすると「その漫画は各地域でない」ということは事実だ fact2: 「掻い潜らない」物はある fact3: そのリンカー部分は簡便化である fact4: そのリンカー部分は掻い潜らない fact5: もし「なにかは掻い潜らなくて更に各地域でない」ということは成り立たないとすればそれは各地域である
fact3 & fact4 -> int1: そのリンカー部分は簡便化であるけど掻い潜るということはない; int1 -> int2: 「簡便化であるしその上掻い潜らない」ものはある; int2 & fact1 -> hypothesis;
その漫画は各地域だ
fact6 -> int3: もし「その漫画は掻い潜らないしまた各地域でない」ということは本当でないならば「各地域である」ということは確かである;
$facts$ = fact1: もし仮に「簡便化だしさらに掻い潜らない」物はあるとすると「その漫画は各地域でない」ということは事実だ fact2: 「掻い潜らない」物はある fact3: そのリンカー部分は簡便化である fact4: そのリンカー部分は掻い潜らない fact5: もし「なにかは掻い潜らなくて更に各地域でない」ということは成り立たないとすればそれは各地域である ; $hypothesis$ = その漫画は各地域だ ; $proof$ = 
fact3 & fact4 -> int1: そのリンカー部分は簡便化であるけど掻い潜るということはない; int1 -> int2: 「簡便化であるしその上掻い潜らない」ものはある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「簡便化だしさらに掻い潜らない」物はあるとすると「その漫画は各地域でない」ということは事実だ
事実2: 「掻い潜らない」物はある
事実3: そのリンカー部分は簡便化である
事実4: そのリンカー部分は掻い潜らない
事実5: もし「なにかは掻い潜らなくて更に各地域でない」ということは成り立たないとすればそれは各地域である

仮説: その漫画は各地域だ
1. 事実3と事実4から、推論1: "そのリンカー部分は簡便化であるけど掻い潜るということはない"が導かれる
2. 推論1から、推論2: "「簡便化であるしその上掻い潜らない」ものはある"が導かれる
3. 推論2と事実1から、仮説が否定される

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