「この十席は傷付き易いがしかしそれは捕らえ易くない」ということは成り立たない
fact1: この十席は傷付き易いけどそれはクイックレスポンスでない fact2: もし仮にこの迷宮が傷付き易いならこの十席は傷付き易い fact3: この迷宮はクイックレスポンスだ fact4: この十席は傷付き易い fact5: もし「この迷宮は傷付き易い」ということは嘘でないとするとこの十席は傷付き易いがしかし捕らえ易くない fact6: この迷宮がクイックレスポンスだしそれは傷付き易い
fact6 -> int1: この迷宮は傷付き易い; int1 & fact5 -> hypothesis;
$facts$ = fact1: この十席は傷付き易いけどそれはクイックレスポンスでない fact2: もし仮にこの迷宮が傷付き易いならこの十席は傷付き易い fact3: この迷宮はクイックレスポンスだ fact4: この十席は傷付き易い fact5: もし「この迷宮は傷付き易い」ということは嘘でないとするとこの十席は傷付き易いがしかし捕らえ易くない fact6: この迷宮がクイックレスポンスだしそれは傷付き易い ; $hypothesis$ = 「この十席は傷付き易いがしかしそれは捕らえ易くない」ということは成り立たない ; $proof$ = 
fact6 -> int1: この迷宮は傷付き易い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: この十席は傷付き易いけどそれはクイックレスポンスでない
事実2: もし仮にこの迷宮が傷付き易いならこの十席は傷付き易い
事実3: この迷宮はクイックレスポンスだ
事実4: この十席は傷付き易い
事実5: もし「この迷宮は傷付き易い」ということは嘘でないとするとこの十席は傷付き易いがしかし捕らえ易くない
事実6: この迷宮がクイックレスポンスだしそれは傷付き易い

仮説: 「この十席は傷付き易いがしかしそれは捕らえ易くない」ということは成り立たない
1. 事実6から、推論1: "この迷宮は傷付き易い"が導かれる
2. 推論1と事実5から、仮説が否定される

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