「あのウィンドウ右上は学するしかつ拭い難い」ということは偽である
fact1: あの概念相対主義は御参列頂かない fact2: もしあの死亡時が求め為さるとしたらあのウィンドウ右上は軟禁する fact3: 仮にあのウィンドウ右上が御参列頂かないとすれば留置するし輸出するということはない fact4: あのウィンドウ右上は御参列頂かない fact5: もしもある物が軟禁するならそれは学する fact6: 何らかの物が留置するが輸出するということはないなら「拭い難い」ということは本当だ fact7: あの死亡時は求め為さる
fact3 & fact4 -> int1: あのウィンドウ右上は留置するけどそれは輸出しない; fact6 -> int2: もしあのウィンドウ右上は留置する一方で輸出しないとすれば拭い難い; int1 & int2 -> int3: あのウィンドウ右上は拭い難い; fact7 & fact2 -> int4: あのウィンドウ右上は軟禁する; fact5 -> int5: 仮にあのウィンドウ右上が軟禁すれば学する; int4 & int5 -> int6: あのウィンドウ右上は学する; int3 & int6 -> hypothesis;
$facts$ = fact1: あの概念相対主義は御参列頂かない fact2: もしあの死亡時が求め為さるとしたらあのウィンドウ右上は軟禁する fact3: 仮にあのウィンドウ右上が御参列頂かないとすれば留置するし輸出するということはない fact4: あのウィンドウ右上は御参列頂かない fact5: もしもある物が軟禁するならそれは学する fact6: 何らかの物が留置するが輸出するということはないなら「拭い難い」ということは本当だ fact7: あの死亡時は求め為さる ; $hypothesis$ = 「あのウィンドウ右上は学するしかつ拭い難い」ということは偽である ; $proof$ = 
fact3 & fact4 -> int1: あのウィンドウ右上は留置するけどそれは輸出しない; fact6 -> int2: もしあのウィンドウ右上は留置する一方で輸出しないとすれば拭い難い; int1 & int2 -> int3: あのウィンドウ右上は拭い難い; fact7 & fact2 -> int4: あのウィンドウ右上は軟禁する; fact5 -> int5: 仮にあのウィンドウ右上が軟禁すれば学する; int4 & int5 -> int6: あのウィンドウ右上は学する; int3 & int6 -> hypothesis; __DISPROVED__
事実1: あの概念相対主義は御参列頂かない
事実2: もしあの死亡時が求め為さるとしたらあのウィンドウ右上は軟禁する
事実3: 仮にあのウィンドウ右上が御参列頂かないとすれば留置するし輸出するということはない
事実4: あのウィンドウ右上は御参列頂かない
事実5: もしもある物が軟禁するならそれは学する
事実6: 何らかの物が留置するが輸出するということはないなら「拭い難い」ということは本当だ
事実7: あの死亡時は求め為さる

仮説: 「あのウィンドウ右上は学するしかつ拭い難い」ということは偽である
1. 事実3と事実4から、推論1: "あのウィンドウ右上は留置するけどそれは輸出しない"が導かれる
2. 事実6から、推論2: "もしあのウィンドウ右上は留置する一方で輸出しないとすれば拭い難い"が導かれる
3. 推論1と推論2から、推論3: "あのウィンドウ右上は拭い難い"が導かれる
4. 事実7と事実2から、推論4: "あのウィンドウ右上は軟禁する"が導かれる
5. 事実5から、推論5: "仮にあのウィンドウ右上が軟禁すれば学する"が導かれる
6. 推論4と推論5から、推論6: "あのウィンドウ右上は学する"が導かれる
7. 推論3と推論6から、仮説が否定される

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