「この番外は抜け掛ける」ということは真実である
fact1: なんらかのものは確認し難い fact2: もし仮になにかはハンターで確認し難いならばあの番外は抜け掛けない fact3: この縛り絵はハンターだ fact4: この縛り絵が確認し難くないとすればその保存責任者は確認し難い fact5: この縛り絵は確認し難い
fact3 & fact5 -> int1: この縛り絵はハンターでその上確認し難い; int1 -> int2: なんらかの物がハンターだししかも確認し難い; int2 & fact2 -> hypothesis;
fact3 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> hypothesis;
その保存責任者は確認し難い
$facts$ = fact1: なんらかのものは確認し難い fact2: もし仮になにかはハンターで確認し難いならばあの番外は抜け掛けない fact3: この縛り絵はハンターだ fact4: この縛り絵が確認し難くないとすればその保存責任者は確認し難い fact5: この縛り絵は確認し難い ; $hypothesis$ = 「この番外は抜け掛ける」ということは真実である ; $proof$ = 
fact3 & fact5 -> int1: この縛り絵はハンターでその上確認し難い; int1 -> int2: なんらかの物がハンターだししかも確認し難い; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: なんらかのものは確認し難い
事実2: もし仮になにかはハンターで確認し難いならばあの番外は抜け掛けない
事実3: この縛り絵はハンターだ
事実4: この縛り絵が確認し難くないとすればその保存責任者は確認し難い
事実5: この縛り絵は確認し難い

仮説: 「この番外は抜け掛ける」ということは真実である
1. 事実3と事実5から、推論1: "この縛り絵はハンターでその上確認し難い"が導かれる
2. 推論1から、推論2: "なんらかの物がハンターだししかも確認し難い"が導かれる
3. 推論2と事実2から、仮説が否定される

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