「その江尻城はアクセスし易いし仄暗い」ということは成り立たない
fact1: このアバウトがトレース出来るとするとその江尻城は仄暗い fact2: もし「「直撃するしそれにアクセスし易いということはない」ということは確かでない」ものがあるとするとその江尻城はアクセスし易い fact3: なにがしかのものが直撃しないとしたらその江尻城はアクセスし易い fact4: 「「「直撃するしさらにアクセスし易い」ということは真実である」ということは成り立たない」物はある fact5: このアバウトはトレース出来る fact6: 「「直撃するがしかしアクセスし易くない」ということは偽である」ものはある fact7: なにがしかの物は直撃する一方でそれはアクセスし易くない fact8: その外的世界はトレース出来る
fact1 & fact5 -> int1: その江尻城は仄暗い; fact6 & fact2 -> int2: その江尻城はアクセスし易い; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: {B}{b}; fact6 & fact2 -> int2: {C}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: このアバウトがトレース出来るとするとその江尻城は仄暗い fact2: もし「「直撃するしそれにアクセスし易いということはない」ということは確かでない」ものがあるとするとその江尻城はアクセスし易い fact3: なにがしかのものが直撃しないとしたらその江尻城はアクセスし易い fact4: 「「「直撃するしさらにアクセスし易い」ということは真実である」ということは成り立たない」物はある fact5: このアバウトはトレース出来る fact6: 「「直撃するがしかしアクセスし易くない」ということは偽である」ものはある fact7: なにがしかの物は直撃する一方でそれはアクセスし易くない fact8: その外的世界はトレース出来る ; $hypothesis$ = 「その江尻城はアクセスし易いし仄暗い」ということは成り立たない ; $proof$ = 
fact1 & fact5 -> int1: その江尻城は仄暗い; fact6 & fact2 -> int2: その江尻城はアクセスし易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このアバウトがトレース出来るとするとその江尻城は仄暗い
事実2: もし「「直撃するしそれにアクセスし易いということはない」ということは確かでない」ものがあるとするとその江尻城はアクセスし易い
事実3: なにがしかのものが直撃しないとしたらその江尻城はアクセスし易い
事実4: 「「「直撃するしさらにアクセスし易い」ということは真実である」ということは成り立たない」物はある
事実5: このアバウトはトレース出来る
事実6: 「「直撃するがしかしアクセスし易くない」ということは偽である」ものはある
事実7: なにがしかの物は直撃する一方でそれはアクセスし易くない
事実8: その外的世界はトレース出来る

仮説: 「その江尻城はアクセスし易いし仄暗い」ということは成り立たない
1. 事実1と事実5から、推論1: "その江尻城は仄暗い"が導かれる
2. 事実6と事実2から、推論2: "その江尻城はアクセスし易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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