このスウェーデン国王は作業し易い
fact1: もしも「この丸管は再検するしおまけに届き難い」ということは誤りならこのスウェーデン国王は作業し易くない fact2: この国際的展開はこそばゆくない fact3: この国際的展開はこそばゆくないなら「この丸管は再検するし届き難い」ということは誤っている
fact3 & fact2 -> int1: 「この丸管は再検するし加えて届き難い」ということは成り立たない; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ¬({AA}{b} & {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から、仮説が否定される

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