あの夢遊病者はサブスクライブしないけど三万一系である
fact1: もしもあの青年男子が入居出来ないとするとそれは介入出来るかもしくはサブスクライブする fact2: もしもあの青年男子はサブスクライブしないなら「あの夢遊病者はサブスクライブしないがしかしそれは三万一系だ」ということは誤りだ fact3: あの青年男子は介入出来ないしおまけにサブスクライブしない fact4: 仮に「何らかの物は人間臭いけど不良債権化しない」ということは成り立つということはないとすると入居出来ない
fact3 -> int1: 「あの青年男子はサブスクライブしない」ということは確かだ; int1 & fact2 -> hypothesis;
fact3 -> int1: ¬{B}{a}; int1 & fact2 -> hypothesis;
あの夢遊病者はサブスクライブしないけれど三万一系だ
fact5 -> int2: 「あの青年男子は人間臭い一方で不良債権化しない」ということは誤っているとしたら「入居出来ない」ということは確かだ;
$facts$ = fact1: もしもあの青年男子が入居出来ないとするとそれは介入出来るかもしくはサブスクライブする fact2: もしもあの青年男子はサブスクライブしないなら「あの夢遊病者はサブスクライブしないがしかしそれは三万一系だ」ということは誤りだ fact3: あの青年男子は介入出来ないしおまけにサブスクライブしない fact4: 仮に「何らかの物は人間臭いけど不良債権化しない」ということは成り立つということはないとすると入居出来ない ; $hypothesis$ = あの夢遊病者はサブスクライブしないけど三万一系である ; $proof$ = 
fact3 -> int1: 「あの青年男子はサブスクライブしない」ということは確かだ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもあの青年男子が入居出来ないとするとそれは介入出来るかもしくはサブスクライブする
事実2: もしもあの青年男子はサブスクライブしないなら「あの夢遊病者はサブスクライブしないがしかしそれは三万一系だ」ということは誤りだ
事実3: あの青年男子は介入出来ないしおまけにサブスクライブしない
事実4: 仮に「何らかの物は人間臭いけど不良債権化しない」ということは成り立つということはないとすると入居出来ない

仮説: あの夢遊病者はサブスクライブしないけど三万一系である
1. 事実3から、推論1: "「あの青年男子はサブスクライブしない」ということは確かだ"が導かれる
2. 推論1と事実2から、仮説が否定される

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