その世界遊戯は化かさない
fact1: その世界遊戯は勾引する fact2: その実効性確保手段は勾引する fact3: なんらかの物が防御しないが勾引するとしたら化かす fact4: もし「政府系であるということはないしさらに第二刻である」物があればその世界遊戯は防御しない fact5: なんらかのものは政府系でないけど第二刻である fact6: もしも「なにがしかの物は第二刻でないがしかしそれは化かす」ということは間違っていれば化かすということはない
fact5 & fact4 -> int1: その世界遊戯は防御しない; int1 & fact1 -> int2: その世界遊戯は防御しないがそれは勾引する; fact3 -> int3: もしもその世界遊戯は防御しない一方で勾引するとすると化かす; int2 & int3 -> hypothesis;
fact5 & fact4 -> int1: ¬{C}{a}; int1 & fact1 -> int2: (¬{C}{a} & {D}{a}); fact3 -> int3: (¬{C}{a} & {D}{a}) -> {E}{a}; int2 & int3 -> hypothesis;
その世界遊戯は化かさない
fact7 -> int4: もし「その世界遊戯は第二刻でないけどそれは化かす」ということは確かだということはないとするとそれは化かすということはない;
$facts$ = fact1: その世界遊戯は勾引する fact2: その実効性確保手段は勾引する fact3: なんらかの物が防御しないが勾引するとしたら化かす fact4: もし「政府系であるということはないしさらに第二刻である」物があればその世界遊戯は防御しない fact5: なんらかのものは政府系でないけど第二刻である fact6: もしも「なにがしかの物は第二刻でないがしかしそれは化かす」ということは間違っていれば化かすということはない ; $hypothesis$ = その世界遊戯は化かさない ; $proof$ = 
fact5 & fact4 -> int1: その世界遊戯は防御しない; int1 & fact1 -> int2: その世界遊戯は防御しないがそれは勾引する; fact3 -> int3: もしもその世界遊戯は防御しない一方で勾引するとすると化かす; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その世界遊戯は勾引する
事実2: その実効性確保手段は勾引する
事実3: なんらかの物が防御しないが勾引するとしたら化かす
事実4: もし「政府系であるということはないしさらに第二刻である」物があればその世界遊戯は防御しない
事実5: なんらかのものは政府系でないけど第二刻である
事実6: もしも「なにがしかの物は第二刻でないがしかしそれは化かす」ということは間違っていれば化かすということはない

仮説: その世界遊戯は化かさない
1. 事実5と事実4から、推論1: "その世界遊戯は防御しない"が導かれる
2. 推論1と事実1から、推論2: "その世界遊戯は防御しないがそれは勾引する"が導かれる
3. 事実3から、推論3: "もしもその世界遊戯は防御しない一方で勾引するとすると化かす"が導かれる
4. 推論2と推論3から、仮説が否定される

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