そのＤＯＳ攻撃は御の字でない
fact1: そのＤＯＳ攻撃は両立する fact2: なんらかのものはシーン名でないとするとそれは両立するしまた御の字である fact3: もし仮にそのＤＯＳ攻撃が両立するとすれば御の字である
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
このディレクトリサービスは御の字である
fact4 -> int1: もし仮にこのディレクトリサービスがシーン名でないとすればそれは両立するししかも御の字だ;
$facts$ = fact1: そのＤＯＳ攻撃は両立する fact2: なんらかのものはシーン名でないとするとそれは両立するしまた御の字である fact3: もし仮にそのＤＯＳ攻撃が両立するとすれば御の字である ; $hypothesis$ = そのＤＯＳ攻撃は御の字でない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: そのＤＯＳ攻撃は両立する
事実2: なんらかのものはシーン名でないとするとそれは両立するしまた御の字である
事実3: もし仮にそのＤＯＳ攻撃が両立するとすれば御の字である

仮説: そのＤＯＳ攻撃は御の字でない
1. 事実3と事実1から、仮説が否定される

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