この逆指名は暗くない
fact1: もしもなんらかの物が随意科目でないとすれば談判であるししかも隠退する fact2: この逆指名はドイツ社会でないし更に括弧書きでない fact3: もし仮になにかはドイツ社会でないしそれに随意科目であるということはないならばそれは隠退しない fact4: もしこの逆指名がドイツ社会でないし更に括弧書きであるということはないとすればあのコンプリヘンシブは随意科目でない fact5: この逆指名は暗いけど隠退するということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
この逆指名は暗くない
fact6 -> int1: もしこの逆指名はドイツ社会だということはないしまた随意科目でないとするとそれは隠退しない;
$facts$ = fact1: もしもなんらかの物が随意科目でないとすれば談判であるししかも隠退する fact2: この逆指名はドイツ社会でないし更に括弧書きでない fact3: もし仮になにかはドイツ社会でないしそれに随意科目であるということはないならばそれは隠退しない fact4: もしこの逆指名がドイツ社会でないし更に括弧書きであるということはないとすればあのコンプリヘンシブは随意科目でない fact5: この逆指名は暗いけど隠退するということはない ; $hypothesis$ = この逆指名は暗くない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が随意科目でないとすれば談判であるししかも隠退する
事実2: この逆指名はドイツ社会でないし更に括弧書きでない
事実3: もし仮になにかはドイツ社会でないしそれに随意科目であるということはないならばそれは隠退しない
事実4: もしこの逆指名がドイツ社会でないし更に括弧書きであるということはないとすればあのコンプリヘンシブは随意科目でない
事実5: この逆指名は暗いけど隠退するということはない

仮説: この逆指名は暗くない
1. 事実5から、仮説が否定される

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