この博識は全島民だ
fact1: 「この下僕は広告しないかもしくはそれは苛立たしいかどちらもだ」ということは偽であるなら「この博識は全島民であるということはない」ということは成り立つ fact2: この燃え柴は武器弾薬でない fact3: もし仮にこの燃え柴は武器弾薬であるということはないとしたら「この下僕は広告しないかもしくは苛立たしいかあるいは両方である」ということは成り立たない
fact3 & fact2 -> int1: 「この下僕は広告するということはないかそれは苛立たしい」ということは正しくない; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「この下僕は広告しないかもしくはそれは苛立たしいかどちらもだ」ということは偽であるなら「この博識は全島民であるということはない」ということは成り立つ fact2: この燃え柴は武器弾薬でない fact3: もし仮にこの燃え柴は武器弾薬であるということはないとしたら「この下僕は広告しないかもしくは苛立たしいかあるいは両方である」ということは成り立たない ; $hypothesis$ = この博識は全島民だ ; $proof$ = 
fact3 & fact2 -> int1: 「この下僕は広告するということはないかそれは苛立たしい」ということは正しくない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「この下僕は広告しないかもしくはそれは苛立たしいかどちらもだ」ということは偽であるなら「この博識は全島民であるということはない」ということは成り立つ
事実2: この燃え柴は武器弾薬でない
事実3: もし仮にこの燃え柴は武器弾薬であるということはないとしたら「この下僕は広告しないかもしくは苛立たしいかあるいは両方である」ということは成り立たない

仮説: この博識は全島民だ
1. 事実3と事実2から、推論1: "「この下僕は広告するということはないかそれは苛立たしい」ということは正しくない"が導かれる
2. 推論1と事実1から、仮説が否定される

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