この引き出しは許し難いということはない
fact1: もしこのホスト間が迷惑しないとすればこの大正蝦は秘書官である fact2: もし仮にこの引き出しは秘書官であるならば「この大正蝦は許し難い」ということは成り立つ fact3: もしもこの大正蝦が秘書官であるとするとこの引き出しは許し難い fact4: このホスト間は迷惑するということはない
fact1 & fact4 -> int1: 「この大正蝦は秘書官だ」ということは本当である; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
$facts$ = fact1: もしこのホスト間が迷惑しないとすればこの大正蝦は秘書官である fact2: もし仮にこの引き出しは秘書官であるならば「この大正蝦は許し難い」ということは成り立つ fact3: もしもこの大正蝦が秘書官であるとするとこの引き出しは許し難い fact4: このホスト間は迷惑するということはない ; $hypothesis$ = この引き出しは許し難いということはない ; $proof$ = 
fact1 & fact4 -> int1: 「この大正蝦は秘書官だ」ということは本当である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしこのホスト間が迷惑しないとすればこの大正蝦は秘書官である
事実2: もし仮にこの引き出しは秘書官であるならば「この大正蝦は許し難い」ということは成り立つ
事実3: もしもこの大正蝦が秘書官であるとするとこの引き出しは許し難い
事実4: このホスト間は迷惑するということはない

仮説: この引き出しは許し難いということはない
1. 事実1と事実4から、推論1: "「この大正蝦は秘書官だ」ということは本当である"が導かれる
2. 推論1と事実3から、仮説が否定される

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