そのハードディスク上は学校改革でない
fact1: あの企画・判断職層は二千セルである一方で解し難くない fact2: あの安居院は二千セルだ fact3: 仮に二千セルが解し難くないならそのハードディスク上は学校改革でない fact4: あの企画・判断職層は二千セルだ fact5: 二千セルは学校改革である fact6: もし仮にその一千万人が学校改革であるならばそのハードディスク上は学校改革だ
fact1 -> int1: とある物は二千セルであるがしかし解し難くない; int1 & fact3 -> hypothesis;
fact1 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact3 -> hypothesis;
そのハードディスク上は学校改革だ
fact8 -> int2: もしその一千万人が二千セルなら学校改革だ;
$facts$ = fact1: あの企画・判断職層は二千セルである一方で解し難くない fact2: あの安居院は二千セルだ fact3: 仮に二千セルが解し難くないならそのハードディスク上は学校改革でない fact4: あの企画・判断職層は二千セルだ fact5: 二千セルは学校改革である fact6: もし仮にその一千万人が学校改革であるならばそのハードディスク上は学校改革だ ; $hypothesis$ = そのハードディスク上は学校改革でない ; $proof$ = 
fact1 -> int1: とある物は二千セルであるがしかし解し難くない; int1 & fact3 -> hypothesis; __PROVED__
事実1: あの企画・判断職層は二千セルである一方で解し難くない
事実2: あの安居院は二千セルだ
事実3: 仮に二千セルが解し難くないならそのハードディスク上は学校改革でない
事実4: あの企画・判断職層は二千セルだ
事実5: 二千セルは学校改革である
事実6: もし仮にその一千万人が学校改革であるならばそのハードディスク上は学校改革だ

仮説: そのハードディスク上は学校改革でない
1. 事実1から、推論1: "とある物は二千セルであるがしかし解し難くない"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。