あの愛国主義は管理する
fact1: あの愛国主義はいじましい fact2: 残り難くないものは管理しないし加えて十五世紀でない fact3: あの愛国主義がいじましいならそれは残り難くない
fact2 -> int1: 仮にあの愛国主義が残り難いということはないならそれは管理しないし十五世紀でない; fact1 & fact3 -> int2: あの愛国主義は残り難くない; int1 & int2 -> int3: あの愛国主義は管理しないししかも十五世紀でない; int3 -> hypothesis;
$facts$ = fact1: あの愛国主義はいじましい fact2: 残り難くないものは管理しないし加えて十五世紀でない fact3: あの愛国主義がいじましいならそれは残り難くない ; $hypothesis$ = あの愛国主義は管理する ; $proof$ = 
fact2 -> int1: 仮にあの愛国主義が残り難いということはないならそれは管理しないし十五世紀でない; fact1 & fact3 -> int2: あの愛国主義は残り難くない; int1 & int2 -> int3: あの愛国主義は管理しないししかも十五世紀でない; int3 -> hypothesis; __DISPROVED__
事実1: あの愛国主義はいじましい
事実2: 残り難くないものは管理しないし加えて十五世紀でない
事実3: あの愛国主義がいじましいならそれは残り難くない

仮説: あの愛国主義は管理する
1. 事実2から、推論1: "仮にあの愛国主義が残り難いということはないならそれは管理しないし十五世紀でない"が導かれる
2. 事実1と事実3から、推論2: "あの愛国主義は残り難くない"が導かれる
3. 推論1と推論2から、推論3: "あの愛国主義は管理しないししかも十五世紀でない"が導かれる
4. 推論3から、仮説が否定される

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